mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2025-02-24 07:37:28 +08:00
sync: Keep the project.list file sorted
Its easier to locate an entry visually if the file is sorted. Signed-off-by: Shawn O. Pearce <sop@google.com>
This commit is contained in:
parent
3a68bb4c7f
commit
9fb29ce123
@ -166,6 +166,7 @@ uncommitted changes are present' % project.relpath
|
|||||||
break
|
break
|
||||||
dir = os.path.dirname(dir)
|
dir = os.path.dirname(dir)
|
||||||
|
|
||||||
|
new_project_paths.sort()
|
||||||
fd = open(file_path, 'w')
|
fd = open(file_path, 'w')
|
||||||
try:
|
try:
|
||||||
fd.write('\n'.join(new_project_paths))
|
fd.write('\n'.join(new_project_paths))
|
||||||
|
Loading…
Reference in New Issue
Block a user