Allow user to select distribution to install via either 'dist=??' in the configuration file, or '--dist=foo' on the command line.
Allow user to select distribution to install via either 'dist=??' in the configuration file, or '--dist=foo' on the command line.