From c420c3492a270f1e7616e3f7ce96f617f81e8c28 Mon Sep 17 00:00:00 2001 From: Bram Prieshof Date: Fri, 11 Sep 2020 12:59:40 +0000 Subject: [PATCH] Update 'scripts/detect-os.sh' --- scripts/detect-os.sh | 2 -- 1 file changed, 2 deletions(-) diff --git a/scripts/detect-os.sh b/scripts/detect-os.sh index fcb824c..bf30c5b 100644 --- a/scripts/detect-os.sh +++ b/scripts/detect-os.sh @@ -1,8 +1,6 @@ dist_ver=$(grep --color=never -Po "^VERSION_ID=\K.*" "/etc/os-release") dist=$(grep --color=never -Po "^ID=\K.*" "/etc/os-release") -echo "input: $dist $dist_ver" - if [[ "${dist}" == *"ubuntu"* ]] && [[ "${dist_ver}" == *"18.04"* ]]; then echo "Ubuntu 18.04 Detected" shortdist=ubu1804