Add global --trace command line option
This has the same effect as saying "export REPO_TRACE=1" in
your shell prior to starting repo, but is documented in the
command usage and perhaps easier to use.
Signed-off-by: Shawn O. Pearce <sop@google.com>
diff --git a/main.py b/main.py
index 0e0a61d..df18183 100755
--- a/main.py
+++ b/main.py
@@ -27,6 +27,7 @@
import re
import sys
+import git_command
from command import InteractiveCommand
from command import MirrorSafeCommand
from command import PagedCommand
@@ -48,6 +49,9 @@
global_options.add_option('--no-pager',
dest='no_pager', action='store_true',
help='disable the pager')
+global_options.add_option('--trace',
+ dest='trace', action='store_true',
+ help='trace git command execution')
global_options.add_option('--version',
dest='show_version', action='store_true',
help='display this version of repo')
@@ -74,6 +78,8 @@
argv = []
gopts, gargs = global_options.parse_args(glob)
+ if gopts.trace:
+ git_command.TRACE = True
if gopts.show_version:
if name == 'help':
name = 'version'