From 3fa2b5a810a8897954de2c2c0bb1e6a6f7e0b0ac Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ole=20Sch=C3=BCtt?= <ole.schuett@cp2k.org>
Date: Sun, 18 Oct 2020 19:09:56 +0200
Subject: [PATCH] Docker: Add Debian support

---
 tools/docker/scripts/install_basics.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/docker/scripts/install_basics.sh b/tools/docker/scripts/install_basics.sh
index d149a5aa1f..5c8bc7b6b2 100755
--- a/tools/docker/scripts/install_basics.sh
+++ b/tools/docker/scripts/install_basics.sh
@@ -2,7 +2,7 @@
 
 # author: Ole Schuett
 
-if grep -q "Ubuntu" /etc/os-release ; then
+if grep -q -e "Ubuntu" -e "Debian" /etc/os-release ; then
     echo -n "Installing Ubuntu packages... "
     apt-get update -qq
     apt-get install -qq --no-install-recommends \