Add option to read server name from config file
This is different from the patch in #171 (closed) as it does not add a --server
command line option. Instead, it adds a new class of options that can be read from the config file only.
What about the option name? I have used server
for consistency with #171 (closed). Perhaps hostname
would be a better option name, wouldn't it?
Still needs some polishing:
- documentation,
- man page,
-
usage()
, - ...
Fixes #171 (closed) and #261 (closed).
Edited by Dimitri Papadopoulos Orfanos