Add docker

scripts/docker.sh

@@ -0,0 +1,14 @@
+#!/usr/bin/env bash
+
+# Install Docker
+
+script_dir="$(cd -P "$(dirname "$BASH_SOURCE")" && pwd)"
+cd $script_dir
+. set.sh
+
+apt-get -y install apt-transport-https ca-certificates curl gnupg-agent software-properties-common
+curl -fsSL https://download.docker.com/linux/ubuntu/gpg | apt-key add -
+add-apt-repository "deb [arch=amd64] https://download.docker.com/linux/ubuntu disco stable"
+apt-get update
+apt-get -y install docker-ce docker-ce-cli containerd.io
+adduser student docker

scripts/install_client.sh

@@ -43,6 +43,7 @@ apt-get -yf install
 . vscode.sh
 . libreoffice.sh
 . exam.sh
+. docker.sh
 
 # Install additional packages
 pkgs="