From a48990574c817b9bea8eecc669f20cd0a374c276 Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Tue, 27 Oct 2020 09:36:17 +0100
Subject: [PATCH] Ubuntu support addded to std::get_os_release()

---
 Pmodules/libstd.bash | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Pmodules/libstd.bash b/Pmodules/libstd.bash
index e54f4b7..07c0b42 100644
--- a/Pmodules/libstd.bash
+++ b/Pmodules/libstd.bash
@@ -289,6 +289,9 @@ std.get_os_release_linux() {
 		RedHatEnterpriseServer | RedHatEnterprise | Scientific | rhel | centos | fedora )
 			echo "rhel${VERSION_ID%.*}"
 			;;
+		Ubuntu )
+			echo "Ubuntu${VERSION_ID%.*}"
+			;;
 		* )
 			echo "Unknown"
 			exit 1