Docker Instructions

These are instructions to build and use a docker image for running the unit tests in /t.

Note: You may need sudo privileges in order to run the docker commands.

Building the Docker Image

Execute the following command from the directory containing your pg clone from GitHub.

docker build -t pg -f docker/pg.Dockerfile .

To run the tests execute the following command.

docker run -it --rm -v `pwd`:/opt/webwork/pg pg prove -r t

You can also open a bash shell in the Docker container via

docker run -it --rm -v `pwd`:/opt/webwork/pg pg

At the prompt, just run the commands prove -r t as above.