diff options
Diffstat (limited to '')
| -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 1048827..a5c8f98 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 @@ -123,6 +127,10 @@ debian_backports() { esac } +progress_linux() { + echo "$DEFAULT" +} + pgdg() { /bin/echo -e "9.4\n9.5\n9.6\n10\n11" } @@ -164,6 +172,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}" |