diff options
| -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}" |