1 args "--unamed-opts=command --no-handle-error --conf-parser --no-handle-version --no-handle-help"
3 purpose "Communicate with para_server through the paraslash control port"
6 define(CURRENT_PROGRAM,para_client)
7 define(DEFAULT_CONFIG_FILE,~/.paraslash/client.conf)
8 define(DEFAULT_HISTORY_FILE,~/.paraslash/client.history)
12 "ip or host to connect"
13 string typestr = "host"
20 string typestr = "username"
21 default = "<current user>"
24 option "server-port" p
25 #~~~~~~~~~~~~~~~~~~~~~
34 string typestr = "filename"
37 If not given, the following files are tried, in order:
38 $HOME/.paraslash/key.$LOGNAME, $HOME/.ssh/id_rsa. It is a fatal
39 error if the key file can not be opened, or is world-readable.
44 include(config_file.m4)
45 include(history_file.m4)