From 152d6666558dc8c767e547ed25a022e42491d6ab Mon Sep 17 00:00:00 2001
From: xpetit <32063953+xpetit@users.noreply.github.com>
Date: Tue, 2 Mar 2021 14:58:24 +0100
Subject: [PATCH] Fix distribution name

---
 sh/debian/ubuntu/configure.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/sh/debian/ubuntu/configure.sh b/sh/debian/ubuntu/configure.sh
index 841d8c1c..690cbf6a 100755
--- a/sh/debian/ubuntu/configure.sh
+++ b/sh/debian/ubuntu/configure.sh
@@ -224,8 +224,8 @@ sudo -iu student go get github.com/01-edu/z01
 # Install Docker
 
 apt-get -y install apt-transport-https ca-certificates curl gnupg2 software-properties-common
-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"
+curl -fsSL https://download.docker.com/linux/ubuntu/gpg | apt-key add -
+add-apt-repository "deb [arch=amd64] https://download.docker.com/linux/ubuntu $(lsb_release -cs) stable"
 apt-get update
 apt-get -y install docker-ce docker-ce-cli containerd.io