4.2.5 Invoking ide hello

The ide hello command runs the dzn hello command. It marks the start of a dezyne session and starts the Verum-Dezyne daemon. The end of a dezyne session can be marked with ide bye (see Invoking ide bye).

ide ide-option… hello option…

The options can be among the following:

--force

-f

Assume the daemon.pid file is stale and forcibly start the daemon, writing a fresh daemon.pid file.

--help

-h

Display help on invoking ide hello, and then exit.

--verbose

-v

Show the editors and browsers connections with the daemon.