Docker

My collection of docker images.

Building

Building is based on a simple Makefile. To inspect which images are supported type:

make help
Cleaning targets:
	clean			Removes all built docker images;
	rm_ubuntu-dev-18.04     Removes ubuntu-dev-18.04 image;
	rm_glade-3              Removes glade-3 image;

Build targets:
	all 			Default target. Build all images;
	ubuntu-dev-18.04	Build ubuntu18.04 based imaged with minimal set of dev tools;
	glade-3			Build image to run glade-3;

Running

To run your image, I personally like to run it like:

docker run --rm -ti -v $HOME:$HOME -v $PWD:$PWD -w $PWD -u $UID docker_image args

GUI Applications

To run GUI based applications under a docker image, some special arguments are needed. We need to set the DISPLAY environment variable and share the x11 sockets. Hence:

docker run --rm -ti -e DISPLAY=:1 -v /tmp/.X11-unix/:/tmp/.X11-unix/ -v $HOME:$HOME -v $PWD:$PWD -w $PWD -u $UID docker_image args