curl -fsSL https://download.docker.com/linux/debian/gpg | apt-key add -
add-apt-repository \
   "deb [arch=amd64] https://download.docker.com/linux/debian \
   $(lsb_release -cs) \
   stable"

apt-get update
apt-get install -y docker-ce docker-ce-cli containerd.io

wget https://gitlab.inria.fr/qdufour/donar/raw/master/scripts/Makefile
wget https://gitlab.inria.fr/qdufour/donar/raw/master/scripts/run-3
chmod +x run-3

docker login registry.gitlab.inria.fr
docker pull registry.gitlab.inria.fr/qdufour/donar

make ...
