/*
* Read options from the config file, the environment and the command
* line (in that order, with later options overwriting previous ones in
/*
* Read options from the config file, the environment and the command
* line (in that order, with later options overwriting previous ones in