Docker offers a free community edition of its virtualisation tool which can be downloaded from the Docker store.

For Windows 7 you need to install the Docker toolbox instead of the Docker application from the store (see Windows 7 - Docker toolbox).

Linux

Docker is native on linux. Most distributions already provide Docker in their repositories. Alternatively, you can find Docker for various distributions in the Docker store.

On Ubuntu Docker can be installed with this single commend:

$ sudo apt install docker.io

Windows 10 - native application

Since Windows 10, Docker provides a “native” app which can be found in the Docker store.

Setup for docker-launcher

Once you installed Docker using the setup file, you can find the Docker icon in your taskbar.

You can access the settings by right-clicking this icon and clicking on “Settings”.

In order for docker-launcher to connect to your docker instance, you need to Expose daemon on tcp://localhost:2375 without TLS.

Finally, in order to be able to directly access your folders from the docker image (ie. the ProtProtocols protocol) you need to share the respective drive with docker:

You can find more information on the Docker settings on the Docker homepage.

Windows 7 - Docker toolbox

Prior to Windows 10, Docker only supports Windows 7 through its Docker toolbox.

Please follow the official instructions to install it on your computer.

Setup for docker-launcher

Docker toolbox only allows access to folders below C:\Users which includes your homedirectory, Desktop, Downloads etc. Access to any other location is blocked. Therefore, you need to have / copy your MGF files either to a folder below C:\Users (recommended option) or manually upload your MGF files into the ProtProtocol image through the web interface.

Note: The same restriction also applies to the output folder!