Skip to content

Add option to read server name from config file

This is different from the patch in #171 (closed) as it does not add a --servercommand 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

Merge request reports