4.2.4 Invoking ide bye

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

ide ide-option… bye option…

The options can be among the following:

--force

-f

Kill the daemon without connecting or sending dzn bye.

--help

-h

Display help on invoking ide bye, and then exit.