Docker is a tool that essentially lets you package a (development) environment with all its settings and dependencies, and move it to another machine, such that whatever you create and develop works the same on every machine you want to run it on. Docker also offers a large number of pre-made images for all kinds of purposes via its own repository, Docker Hub.
Docker can be used both on Windows and Linux machines. Docker images are OS-specific, because they use the system kernel to function, so it is not possible to run a Docker image built on Windows on a Linux machine. However, Windows 10 has a built-in Linux kernel, allowing it to run both Windows and Linux Docker images.
For more information on the use of Docker, have a look at one of the numerous tutorials online, for example:
Docker in DRE
Docker Toolbox v.19.03.1 (Windows) is available via the
Software Installer on RUMC VM images. For Linux machines, you may follow
this tutorial.
Usually, a Docker image is packaged into a container and pushed to Docker Hub, from where it can be pulled for use on another machine. This is not possible in the DRE, due to restricted internet access (opening ports is not an option because of its variable IP address). Instead, you need to save your docker image to a .tar file, then upload it to your workspace, and inside a VM with Docker installed load the .tar file:
Save .tar file:
- $ docker save --output FILENAME.tar IMAGENAME
Load .tar file:
- $ docker load --input FILENAME.tar