equal
deleted
inserted
replaced
14 become an argument of - instead of vanishing completely. |
14 become an argument of - instead of vanishing completely. |
15 """ |
15 """ |
16 extraargs = [] |
16 extraargs = [] |
17 if '--' in args: |
17 if '--' in args: |
18 stopindex = args.index('--') |
18 stopindex = args.index('--') |
19 extraargs = args[stopindex+1:] |
19 extraargs = args[stopindex + 1:] |
20 args = args[:stopindex] |
20 args = args[:stopindex] |
21 opts, parseargs = getopt.getopt(args, options, longoptions) |
21 opts, parseargs = getopt.getopt(args, options, longoptions) |
22 args = [] |
22 args = [] |
23 while parseargs: |
23 while parseargs: |
24 arg = parseargs.pop(0) |
24 arg = parseargs.pop(0) |
75 else: |
75 else: |
76 state[name] = default |
76 state[name] = default |
77 |
77 |
78 # does it take a parameter? |
78 # does it take a parameter? |
79 if not (default is None or default is True or default is False): |
79 if not (default is None or default is True or default is False): |
80 if short: short += ':' |
80 if short: |
81 if oname: oname += '=' |
81 short += ':' |
|
82 if oname: |
|
83 oname += '=' |
82 if short: |
84 if short: |
83 shortlist += short |
85 shortlist += short |
84 if name: |
86 if name: |
85 namelist.append(oname) |
87 namelist.append(oname) |
86 |
88 |