Strip decimal from centos VERSION_ID

Author: ddelange

.github/workflows/install-postgres.sh

@@ -28,10 +28,10 @@ if [ "${ID}" = "debian" -o "${ID}" = "ubuntu" ]; then
         "postgresql-${PGVERSION}" \
         "postgresql-contrib-${PGVERSION}"
 elif [ "${ID}" = "centos" ]; then
-    el="EL-${VERSION_ID}-$(arch)"
+    el="EL-${VERSION_ID%.*}-$(arch)"
     baseurl="https://download.postgresql.org/pub/repos/yum/reporpms"
     yum install -y "${baseurl}/${el}/pgdg-redhat-repo-latest.noarch.rpm"
-    if [ ${VERSION_ID} -ge 8 ]; then
+    if [ ${VERSION_ID%.*} -ge 8 ]; then
         dnf -qy module disable postgresql
     fi
     yum install -y \