1. Get the image

git clone https://github.com/marcopalena/polito-os161-docker
cd polito-os161-docker-main
docker build -t os161 .

In this case the name of the image is os161

2. Create a named volume

This command crates a volume named os161-vol

docker volume create os161-vol

You can check all your volumes by running

docker volume list

3. Run the container

Run the container mounting the volume os161-vol as the home folder of user enf. Make sure to to change os161 with the name of your image

docker run --volume os161-vol:/home/enf --name os161 -itd os161 /bin/bash

If everything went well, you should see it by running

docker ps

Quickfixes

Error response from daemon: failed to create endpoint (...) on network bridge: failed to add the host (...) <=> sandbox (...) pair interfaces: operation not supported In my case, the error appears every time I update my Linux kernel. It disappears when I restart the computer. I am using Arch Linux.

Run tasks

Move the folder ./os161/os161/.vscode in its parent directory ./os161/.vscode.

Uninstall

If you just used docker for OS161, you can run this command safely

docker prune -a