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