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="