131
149
def __init__(self, name, help='', type=None, argname=None,
133
151
"""Make a new command option.
135
153
name -- regular name of the command, used in the double-dash
136
154
form and also as the parameter to the command's run()
139
157
help -- help message displayed in command help