diff --git a/packaging/tools/install_arbi.sh b/packaging/tools/install_arbi.sh index 6e9be8489b84be8c3695c67a7037a4e2be2fa9e2..31a9ce38ac2c8fe1998c73680fd48183f56c1077 100755 --- a/packaging/tools/install_arbi.sh +++ b/packaging/tools/install_arbi.sh @@ -76,12 +76,21 @@ 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 elif echo $osinfo | grep -qwi "fedora"; then # echo "This is fedora system" os_type=2 +elif echo $osinfo | grep -qwi "Linx"; then + # echo "This is Linx system" + os_type=1 + service_mod=0 + initd_mod=0 + service_config_dir="/etc/systemd/system" else echo " osinfo: ${osinfo}" echo " This is an officially unverified linux system,"