libstd.bash: list of possible OS ID's reviewed

This commit is contained in:
2019-07-24 17:26:37 +02:00
parent c4a7c48dd9
commit 7df9fe7111
+1 -1
View File
@@ -286,7 +286,7 @@ std.get_os_release_linux() {
fi
case "${ID}" in
science | rhel | centos | fedora )
RedHatEnterpriseServer | RedHatEnterprise | Scientific | rhel | centos | fedora )
echo "rhel${VERSION_ID%.*}"
;;
* )