Installation

These pages give detailed installation instructions for mounting the docker containers on an Ubuntu server, and for setting up your github account.