summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-05-04 12:21:25 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-05-04 12:21:25 +0000
commit52f0d95b7451c047863dbbc1efb207eabfbb8e22 (patch)
tree364af1b75b6f473f0c96566b4e012505b7b1e50d
parentUpdating source format. (diff)
downloadpostgresql-common-52f0d95b7451c047863dbbc1efb207eabfbb8e22.tar.xz
postgresql-common-52f0d95b7451c047863dbbc1efb207eabfbb8e22.zip
Adding support for Progress Linux to supported-versions.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
-rwxr-xr-xdebian/supported-versions11
1 files changed, 11 insertions, 0 deletions
diff --git a/debian/supported-versions b/debian/supported-versions
index 62343be..0c53b14 100755
--- a/debian/supported-versions
+++ b/debian/supported-versions
@@ -30,6 +30,7 @@
# (as determined by os-release)
# debian: use Debian defaults
# debian-backports: use Debian Backports defaults
+# progress-linux: use Progress Linux defaults
# ubuntu: use Ubuntu defaults
# pgdg: use defaults for apt.postgresql.org
# installed: consider all installed versions supported (determined by
@@ -54,6 +55,9 @@ default() {
[dD]ebian)
debian
;;
+ progress-linux)
+ progress_linux
+ ;;
*)
echo "supported-versions: WARNING! Unknown distribution ID in /etc/os-release: $ID" >&2
if echo $ID_LIKE | grep -E '(^| )ubuntu($| )' > /dev/null; then
@@ -82,6 +86,10 @@ debian_backports() {
echo "$DEFAULT"
}
+progress_linux() {
+ echo "$DEFAULT"
+}
+
pgdg() {
cat <<-EOF
10
@@ -127,6 +135,9 @@ echo "$SUPPORTED_VERSIONS" | while read version release; do
debian-backports)
debian_backports
;;
+ progress-linux)
+ progress_linux
+ ;;
ubuntu)
ubuntu
;;