diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 12:16:59 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 12:16:59 +0000 |
| commit | 4528118ad46b2648dfa4617ceebbfd0cc387ed73 (patch) | |
| tree | 4dad634fc9635f1470f77754da43156c23de16bb | |
| parent | Updating source format. (diff) | |
| download | postgresql-common-4528118ad46b2648dfa4617ceebbfd0cc387ed73.tar.xz postgresql-common-4528118ad46b2648dfa4617ceebbfd0cc387ed73.zip | |
Adding support for Progress Linux to supported-versions.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
| -rwxr-xr-x | debian/supported-versions | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/debian/supported-versions b/debian/supported-versions index f7a7cdc..34d0ac9 100755 --- a/debian/supported-versions +++ b/debian/supported-versions @@ -31,6 +31,7 @@ # debian [release]: use Debian defaults # debian-backports [release]: use Debian Backports defaults # ubuntu [release]: use Ubuntu defaults +# progress-linux: use Progress Linux defaults # pgdg [release]: use defaults for apt.postgresql.org # installed: consider all installed versions supported (determined by # postgresql-server-dev-X packages) @@ -61,6 +62,9 @@ default() { [dD]ebian) debian "$RELEASE" ;; + progress-linux) + progress_linux + ;; *) echo "supported-versions: WARNING! Unknown distribution: $DISTRO" >&2 if echo $ID_LIKE | egrep '(^| )ubuntu($| )' > /dev/null; then @@ -127,6 +131,10 @@ debian_backports() { esac } +progress_linux() { + echo "$DEFAULT" +} + pgdg() { cat <<-EOF 9.5 @@ -175,6 +183,9 @@ echo "$SUPPORTED_VERSIONS" | while read version release; do get_release debian_backports "${release:-$RELEASE}" ;; + progress-linux) + progress_linux + ;; ubuntu) get_release ubuntu "${release:-$RELEASE}" |