diff --git a/packaging/tools/install.sh b/packaging/tools/install.sh index b14c14c7eeda9ffc3ac4c67d3e062554d3a7710a..85280cc50948dc843698954224c4bdab979717ef 100755 --- a/packaging/tools/install.sh +++ b/packaging/tools/install.sh @@ -105,6 +105,9 @@ elif echo $osinfo | grep -qwi "debian"; then elif echo $osinfo | grep -qwi "Kylin"; then # echo "This is Kylin system" os_type=1 +elif echo $osinfo | grep -qwi "Red"; then + # echo "This is Red Hat system" + os_type=1 elif echo $osinfo | grep -qwi "centos"; then # echo "This is centos system" os_type=2