Add a line for Rocky Linux.

JeffersonLab · Dec 18, 2022 · 56f10ca · 56f10ca
1 parent 5f92d85
commit 56f10ca
Showing 1 changed file with 3 additions and 0 deletions.
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