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 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 ;; |