devtools/devctl.py
changeset 8454 113184eb4e06
parent 8258 88a7d2c49d39
parent 8451 49e965bba1ec
child 8537 e30d0a7f0087
child 8857 5d08086c3e6d
equal deleted inserted replaced
8450:11063635c4e4 8454:113184eb4e06
   724     name = "schema"
   724     name = "schema"
   725     arguments = '<cube>'
   725     arguments = '<cube>'
   726     min_args = max_args = 1
   726     min_args = max_args = 1
   727     options = [
   727     options = [
   728         ('output-file',
   728         ('output-file',
   729          {'type':'file', 'default': None,
   729          {'type':'string', 'default': None,
   730           'metavar': '<file>', 'short':'o', 'help':'output image file',
   730           'metavar': '<file>', 'short':'o', 'help':'output image file',
   731           'input':False,
   731           'input':False,
   732           }),
   732           }),
   733         ('viewer',
   733         ('viewer',
   734          {'type': 'string', 'default':None,
   734          {'type': 'string', 'default':None,