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'; 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