Skip to content

Instantly share code, notes, and snippets.

registries:
- endpoint: https://index.docker.io/v1/
auth: base64encodedstring
email: my.email@gmail.com
repository: username/repo
The first three fields can be generated by running $ docker login <registry>. The last field would provide the basis for populating all the searchable tags.
@lwander
lwander / gist:42e2f4fd8cb4832ee1e9
Created October 21, 2015 13:53
easy_partition
easy_partition(keys, T)
B = []
A = []
B_s = 0
A_s = 0
keys = sort(keys)
while len(keys) > 0
k = pop_biggest(keys)
if B_s + k > T:
if A_s + k > T: