update repos in order

This commit is contained in:
j 2013-07-03 23:14:11 +02:00
parent 7f1d7b6079
commit 275b51755c

View file

@ -97,7 +97,7 @@ if __name__ == "__main__":
os.chdir(base) os.chdir(base)
current = '' current = ''
new = '' new = ''
for repo in repos: for repo in sorted(repos, key=lambda r: repos[r]['path']):
path = os.path.join(base, repos[repo]['path']) path = os.path.join(base, repos[repo]['path'])
if exists(path): if exists(path):
os.chdir(path) os.chdir(path)