Easier apt-get line
Merge pull request #5224 from rengolin/docs

Easier apt-get line

Reviewed-By: Richard Chapman <rchapman@hpccsystems.com>