devtools/devctl.py
branchstable
changeset 8451 49e965bba1ec
parent 8257 d54fc706d623
child 8454 113184eb4e06
equal deleted inserted replaced
8447:4fb20c09017a 8451:49e965bba1ec
   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,