From 5f92d851392ae44899241ca7940d114a53ede2ee Mon Sep 17 00:00:00 2001 From: Mark Ito Date: Wed, 14 Dec 2022 20:06:40 -0500 Subject: [PATCH 1/2] Add a line for rocky linux. --- osrelease.pl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/osrelease.pl b/osrelease.pl index c6ea004..39f83c9 100755 --- 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'; From 56f10ca06df631968625ea4b24356c39d9de16ed Mon Sep 17 00:00:00 2001 From: Mark Ito Date: Sun, 18 Dec 2022 18:23:42 -0500 Subject: [PATCH 2/2] Add a line for Rocky Linux. --- python_chooser.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/python_chooser.sh b/python_chooser.sh index 88fdc39..2518894 100755 --- 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