Merge pull request #255 from markito3/rocky_changes

Rocky changes
JeffersonLab · Dec 18, 2022 · 2582645 · 2582645
2 parents 8ba1eac + 56f10ca
commit 2582645
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/osrelease.pl b/osrelease.pl
@@ -106,6 +106,8 @@
 	    $release = '_SL5';
 	} elsif ($release_string =~ /^Scientific Linux release 6.*/ ) {
 	    $release = '_SL6';
+	} elsif ($release_string =~ /^Rocky Linux release 8.*/ ) {
+	    $release = '_Rocky8';
 	} else {
 	    print STDERR "unrecognized Red Hat release\n";
 	    $release = '_RH';

diff --git a/python_chooser.sh b/python_chooser.sh
@@ -37,6 +37,9 @@ then
 	then
 	    dist_name=RedHat
 	elif grep -lq CentOS /etc/redhat-release
+	then
+	    dist_name=CentOS
+	elif grep -lq Rocky /etc/redhat-release
 	then
 	    dist_name=CentOS
 	else