C2Rust Docker environment

Building the docker image:

The script takes two optional arguments:

• the name of the base image (ubuntu:bionic by default)

Stopping and starting containers:

$ docker start c2rust

Connect to a running container:

$ docker rm -f c2rust

removing all containers:

pruning all images:

docker system prune
docker system prune -a