Next: Invoking ide daemon, Up: Verum-Dezyne View Commands [Contents][Index]
ide
The Verum-Dezyne IDE extends the set of dzn
core command-line
with graphical ide
view commands.
ide ide-option… [command]
The options can be among the following:
--debug
-d
Enable debug ouput. Careful, this can produce a lot of text!
--help
-h
Display help on invoking ide daemon
, and then exit.
--skip-wfc
-p
Use plain peg parser, skip Well-formedness (See Well-formedness in Well-formedness) checking.
--verbose
-v
Be more verbose, show progress.
--version
-V
Display the current version of ide
, and then exit.
Running ide
without command shows a list of available ide
commands:
Usage: ide [OPTION]... COMMAND [COMMAND-ARGUMENT...] -d, --debug enable debug ouput -h, --help display this help -p, --skip-wfc use plain PEG, skip well-formedness checking -v, --verbose be more verbose, show progress -V, --version display version Commands: browse bye daemon hello info lsp simulate state system verify Use "ide COMMAND --help" for command-specific information.