From d7b61c4c3b525e42e9df7e65956238f159c81ab4 Mon Sep 17 00:00:00 2001 From: midoks Date: Sun, 3 Jul 2022 23:03:54 +0800 Subject: [PATCH] Update install_dev.sh --- scripts/install_dev.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/install_dev.sh b/scripts/install_dev.sh index 8ac42e207..a68b29024 100755 --- a/scripts/install_dev.sh +++ b/scripts/install_dev.sh @@ -18,12 +18,12 @@ if [ "$EUID" -ne 0 ] exit fi -if grep -Eqi "Ubuntu" /etc/issue || grep -Eq "Ubuntu" /etc/*-release; then +if grep -Eq "Ubuntu" /etc/*-release; then ln -sf /bin/bash /bin/sh #sudo dpkg-reconfigure dash fi -if grep -Eqi "Debian" /etc/issue || grep -Eq "Debian" /etc/*-release; then +if grep -Eq "Debian" /etc/*-release; then ln -sf /bin/bash /bin/sh fi