Try again to get PG12 to use regular repo

pgpointcloud · Aug 13, 2023 · b793031 · b793031
1 parent 35fb903
commit b793031
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/scripts/postgresql_postgis.sh b/.github/scripts/postgresql_postgis.sh
@@ -4,11 +4,13 @@ set -e
 
 curl https://www.postgresql.org/media/keys/ACCC4CF8.asc | gpg --dearmor | sudo tee /etc/apt/trusted.gpg.d/apt.postgresql.org.gpg >/dev/null
 
-if ["$POSTGRESQL_VERSION" = "12"];
+if [[ $POSTGRESQL_VERSION == *12* ]];
 then
   echo "deb http://apt.postgresql.org/pub/repos/apt/ `lsb_release -cs`-pgdg main $POSTGRESQL_VERSION" |sudo tee /etc/apt/sources.list.d/pgdg.list
+  echo "Using main repo"
 else
   echo "deb http://apt.postgresql.org/pub/repos/apt/ `lsb_release -cs`-pgdg-snapshot main $POSTGRESQL_VERSION" |sudo tee /etc/apt/sources.list.d/pgdg.list
+  echo "Using snapshot report for$POSTGRESQL_VERSION" 
 fi
 
 # RAISE priority of pgdg