strift/docker-efrei-arena

Docker image of a this student project: https://github.com/Chtwin/Link-Rupees-Rush

Efrei Arena Docker image

This image is based on Debian image.

You actually have to rebuild the image for each student, because the code may change; it still is pretty straightforward though.

How to build

$ git clone https://github.com/Strift/docker-efrei-arena.git
$ cd docker-efrei-arena
$ git clone https://github.com/Chtwin/Link-Rupees-Rush.git # The arena repo
$ docker build -t username/image-name \ # Choose a name for your image
               --build-arg REPO_PATH=./Link-Rupees-Rush \ # In this case, the arena repository is in the same directory
               --build-arg FILE_PATH=./path/to/file.c \ # The path to the student code to be evaluated
               . # The Dockerfile location; the current directory in this case

How to run

$ xhost local:docker # to allow X11 forwarding and display for the docker user, assuming you don't need to 'sudo' for docker
$ xhost local:root # I guess you should run this one instead if you need to 'sudo' for docker
$ docker run -it \ # So we get an interactive process
             -v /tmp/.X11-unix:/tmp/.X11-unix \ # mount the X11 socket
             -e DISPLAY=unix$DISPLAY \
             --device /dev/snd \ # so we have sound
             username/image-name # Same image name as in the build step