From d40b45c73493a9b7540e00d17410234950d4e93a Mon Sep 17 00:00:00 2001
From: Xavier Petit <32063953+xpetit@users.noreply.github.com>
Date: Tue, 21 Jan 2020 15:59:38 +0000
Subject: [PATCH] Add docker

---
 scripts/docker.sh         | 14 ++++++++++++++
 scripts/install_client.sh |  1 +
 2 files changed, 15 insertions(+)
 create mode 100755 scripts/docker.sh

diff --git a/scripts/docker.sh b/scripts/docker.sh
new file mode 100755
index 00000000..05601596
--- /dev/null
+++ b/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
diff --git a/scripts/install_client.sh b/scripts/install_client.sh
index 979e3cf0..dd3ff77d 100755
--- a/scripts/install_client.sh
+++ b/scripts/install_client.sh
@@ -43,6 +43,7 @@ apt-get -yf install
 . vscode.sh
 . libreoffice.sh
 . exam.sh
+. docker.sh
 
 # Install additional packages
 pkgs="