Docker is nice, but sometimes makes it awkward to interactively develop (graphical debugging, image output, GUIs). Therefore I created a script which runs the Dockerfile locally, and also takes care of the environment variables (PATH).
This makes it a lot easier for students to get started - they just have to download and run the download_and_install script in a VM.
(If you like, I can also directly include the dockerfile-to-shell-script utility instead of using a git submodule.)
Docker is nice, but sometimes makes it awkward to interactively develop (graphical debugging, image output, GUIs). Therefore I created a script which runs the Dockerfile locally, and also takes care of the environment variables (PATH).
This makes it a lot easier for students to get started - they just have to download and run the
download_and_install
script in a VM.(If you like, I can also directly include the
dockerfile-to-shell-script
utility instead of using a git submodule.)