Index: sky/tools/skydb |
diff --git a/sky/tools/skydb b/sky/tools/skydb |
index 5210b88396573fd3b1a337eba591212d61a8b754..6d5d8fa96abed896171f4786901cb4aa5f279ce0 100755 |
--- a/sky/tools/skydb |
+++ b/sky/tools/skydb |
@@ -71,6 +71,8 @@ class SkyDebugger(object): |
parser.add_argument('--gdb', action='store_true') |
parser.add_argument('--use-osmesa', action='store_true', |
default=self._in_chromoting()) |
+ parser.add_argument('--show_command', action='store_true', |
abarth-chromium
2015/01/07 22:52:01
--show_command -> --show-command (for consistency
hansmuller1
2015/01/07 23:33:04
Done.
|
+ help='Display the shell command and exit') |
parser.add_argument('url', nargs='?', type=str) |
configuration.add_arguments(parser) |
args = parser.parse_args() |
@@ -98,7 +100,10 @@ class SkyDebugger(object): |
if args.gdb: |
shell_command = ['gdb', '--args'] + shell_command |
- subprocess.check_call(shell_command) |
+ if args.show_command: |
+ print " ".join(shell_command) |
+ else: |
+ subprocess.check_call(shell_command) |
def shutdown(self): |
print "Quitting" |