From 4f625ed86b5435eeb942a2367ace9dcd979164e9 Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Tue, 20 Jul 2021 15:54:21 +0200
Subject: [PATCH] libstd.bash: fix in std.get_os_release_linux() for current
 CentOS

---
 Pmodules/libstd.bash | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Pmodules/libstd.bash b/Pmodules/libstd.bash
index e5a2f46..fedd0c4 100644
--- a/Pmodules/libstd.bash
+++ b/Pmodules/libstd.bash
@@ -220,8 +220,8 @@ std.get_os_release_linux() {
         fi
 
 	case "${ID}" in
-		RedHatEnterpriseServer | RedHatEnterprise | Scientific | rhel | centos | fedora )
-			echo "rhel${VERSION_ID%.*}"
+		RedHatEnterpriseServer | RedHatEnterprise | Scientific | rhel | centos | CentOS | fedora )
+			echo "rhel${VERSION_ID%%.*}"
 			;;
 		Ubuntu )
 			echo "Ubuntu${VERSION_ID%.*}"