Next: Invoking ide browse, Previous: Invoking ide, Up: Verum-Dezyne View Commands [Contents][Index]
ide daemon
All Dezyne View commands communicate with the Views and Editor through
the ide daemon
. The daemon is started automagically when
issuing any ide
-command, e.g. ide hello
(see Invoking ide hello), and it is stopped by running ide
bye
(see Invoking ide bye).
When started automagically, the daemon writes its log file to
$XDG_CACHE_HOME/dzn/daemon.log. If the XDG_CACHE_HOME
environment variable is not defined, $HOME/.cache/dzn/daemon.log
is used instead.
ide ide-option… daemon option… FILE
The options can be among the following:
--debug
-d
Enable debug ouput. Careful, this can produce a lot of text!
--editor-port=EDITOR-PORT
-i EDITOR-PORT
Listen to editor port EDITOR-PORT, the default is
3003
.
--help
-h
Display help on invoking ide daemon
, and then exit.
--http-port=HTTP-PORT
-b HTTP-PORT
Start web serever on http port HTTP-PORT, the default is
3000
.
--ide-port=IDE-PORT
-i IDE-PORT
Listen to ide command port IDE-PORT, the default is
3001
.
--view-port=VIEW-PORT
-b VIEW-PORT
Listen to browser view port VIEW-PORT, the default is
3002
.
--verbose
-v
Be more verbose, show progress.
When overriding a port setting, the daemo saves this configuration to
$XDG_CONFIG_HOME/dzn/daemon.scm. If the XDG_CONFIG_HOME
environment variable is not defined, $HOME/.config/dzn/daemon.scm
is used instead.