diff options
Diffstat (limited to 'RepSys/commands/co.py')
| -rw-r--r-- | RepSys/commands/co.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/RepSys/commands/co.py b/RepSys/commands/co.py index 693897a..cadcf56 100644 --- a/RepSys/commands/co.py +++ b/RepSys/commands/co.py @@ -10,6 +10,7 @@ Usage: repsys co [OPTIONS] URL [LOCALPATH] Options: -r REV Revision to checkout + -o Do not use the mirror (use official server) -h Show this message Examples: @@ -20,6 +21,8 @@ Examples: def parse_options(): parser = OptionParser(help=HELP) parser.add_option("-r", dest="revision") + parser.add_option("-o", dest="use_mirror", default=True, + action="store_false") opts, args = parser.parse_args() if len(args) not in (1, 2): raise Error, "invalid arguments" |