]> git.tuebingen.mpg.de Git - dss.git/blobdiff - dss.ggo
Don't check for required options when parsing the command line.
[dss.git] / dss.ggo
diff --git a/dss.ggo b/dss.ggo
index a0a3503c6862c56eaeb15a75d7d55598eca3eac5..51cfadd3391b41d4636c29b07411f93063a06413 100644 (file)
--- a/dss.ggo
+++ b/dss.ggo
@@ -21,6 +21,17 @@ details="
        configuration file. As usual, if an option is given both at
        the command line and in the configuration file, the command
        line option takes precedence.
        configuration file. As usual, if an option is given both at
        the command line and in the configuration file, the command
        line option takes precedence.
+
+       However, there is an important exception to this rule:
+       If the --run option was given (see below) then dss honors
+       SIGHUP and re-reads its configuration file whenever it
+       receives this signal. In this case the options in the config
+       file override any options that were previously given at the
+       command line. This allows to change the configuration of a
+       running dss process on the fly by sending SIGHUP.
+
+       Note that it is not possible to change whether dss runs as
+       background daemon by sending SIGHUP.
 "
 
 option "daemon" d
 "
 
 option "daemon" d
@@ -30,7 +41,7 @@ flag off
 dependon="logfile"
 details="
        Note that dss refuses to start in daemon mode if no logfile
 dependon="logfile"
 details="
        Note that dss refuses to start in daemon mode if no logfile
-       was specified. This option makes sense only in conjunction
+       was specified. This option is mostly useful in conjuction
        with the -R option described below.
 "
 
        with the -R option described below.
 "
 
@@ -146,7 +157,7 @@ option "source-dir" -
 #~~~~~~~~~~~~~~~~~~~~
 "The data directory"
 string typestr="dirname"
 #~~~~~~~~~~~~~~~~~~~~
 "The data directory"
 string typestr="dirname"
-optional
+required
 details="
        The directory on the remote host from which snapshots are
        taken.  Of course, the user specified as --remote-user must
 details="
        The directory on the remote host from which snapshots are
        taken.  Of course, the user specified as --remote-user must
@@ -157,7 +168,7 @@ option "dest-dir" -
 #~~~~~~~~~~~~~~~~~~
 "Snapshot dir"
 string typestr="dirname"
 #~~~~~~~~~~~~~~~~~~
 "Snapshot dir"
 string typestr="dirname"
-optional
+required
 details="
        The destination directory on the local host where snapshots
        will be written. This must be writable by the user who runs
 details="
        The destination directory on the local host where snapshots
        will be written. This must be writable by the user who runs