mirror of https://gerrit.osmocom.org/osmo-dev
ask which command to run
Change-Id: I0bed4195141b1e5a345529f30417f29b5269b1c8
This commit is contained in:
parent
7634651a39
commit
d8ea27b8c1
2
src/gits
2
src/gits
|
@ -192,6 +192,8 @@ def cmd_do(argv):
|
||||||
|
|
||||||
|
|
||||||
def cmd_sh(cmd):
|
def cmd_sh(cmd):
|
||||||
|
if not cmd:
|
||||||
|
error("which command do you want to run?")
|
||||||
for git_dir in git_dirs():
|
for git_dir in git_dirs():
|
||||||
print('\n===== %s =====' % git_dir)
|
print('\n===== %s =====' % git_dir)
|
||||||
print('+ %s' % cmd_to_str(cmd))
|
print('+ %s' % cmd_to_str(cmd))
|
||||||
|
|
Loading…
Reference in New Issue