Open multiple files
This commit is contained in:
parent
344029ca27
commit
1adb1ce947
9
main.py
9
main.py
@ -304,10 +304,11 @@ if __name__ == '__main__':
|
|||||||
elif sys.argv[1] == 'open':
|
elif sys.argv[1] == 'open':
|
||||||
if len(sys.argv) < 3:
|
if len(sys.argv) < 3:
|
||||||
sys.exit("Usage: " + sys.argv[0] +
|
sys.exit("Usage: " + sys.argv[0] +
|
||||||
" open ID")
|
" open ID1 ID2 …")
|
||||||
if not openFile(sys.argv[2]):
|
for filename in sys.argv[2:]:
|
||||||
sys.exit("Unable to open file associated " +
|
if not openFile(filename):
|
||||||
"to ident "+sys.argv[2])
|
sys.exit("Unable to open file associated " +
|
||||||
|
"to ident "+filename)
|
||||||
|
|
||||||
elif sys.argv[1] == 'resync':
|
elif sys.argv[1] == 'resync':
|
||||||
if len(sys.argv) > 2 and sys.argv[2] == 'help':
|
if len(sys.argv) > 2 and sys.argv[2] == 'help':
|
||||||
|
Loading…
Reference in New Issue
Block a user