changes from master merged

This commit is contained in:
2022-10-27 15:07:18 +02:00
4 changed files with 25 additions and 4 deletions
+3 -3
View File
@@ -302,11 +302,11 @@ std.get_os_release_linux() {
std::die 4 "Cannot determin OS release!\n"
fi
case "${ID}" in
RedHatEnterpriseServer | RedHatEnterprise | Scientific | rhel | centos | CentOS | fedora )
case "${ID,,}" in
redhatenterpriseserver | redhatenterprise | scientific | springdale | rhel | centos | fedora )
echo "rhel${VERSION_ID%%.*}"
;;
Ubuntu )
ubuntu )
echo "Ubuntu${VERSION_ID%.*}"
;;
* )