equal
deleted
inserted
replaced
1 import sys, os, getopt |
1 import sys, os, getopt |
2 |
2 |
3 def fancyopts(args, options, state, syntax=''): |
3 def fancyopts(args, options, state, syntax='', minlen = 0): |
4 long=[] |
4 long=[] |
5 short='' |
5 short='' |
6 map={} |
6 map={} |
7 dt={} |
7 dt={} |
8 |
8 |
16 if d: opt = opt + '(' + str(d) + ')' |
16 if d: opt = opt + '(' + str(d) + ')' |
17 print opt |
17 print opt |
18 if c: print ' %s' % c |
18 if c: print ' %s' % c |
19 sys.exit(0) |
19 sys.exit(0) |
20 |
20 |
21 if len(args) == 0: |
21 if len(args) < minlen: |
22 help(state, None, args) |
22 help(state, None, args) |
23 |
23 |
24 options=[('h', 'help', help, 'Show usage info')] + options |
24 options=[('h', 'help', help, 'Show usage info')] + options |
25 |
25 |
26 for s, l, d, c in options: |
26 for s, l, d, c in options: |