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 \