From 7df9fe71118380a4207140e917449614e5a3b479 Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Wed, 24 Jul 2019 17:26:37 +0200
Subject: [PATCH] libstd.bash: list of possible OS ID's reviewed

---
 Pmodules/libstd.bash | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Pmodules/libstd.bash b/Pmodules/libstd.bash
index 544f435..e54f4b7 100644
--- a/Pmodules/libstd.bash
+++ b/Pmodules/libstd.bash
@@ -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%.*}"
 			;;
 		* )