4.2.1 Invoking 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.