From 287c3dc1fd490f7058b65cabb00963a85bf795b7 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 7 Apr 2024 18:02:51 +0200 Subject: Adding support for Progress Linux to supported-versions. Signed-off-by: Daniel Baumann --- debian/supported-versions | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'debian') diff --git a/debian/supported-versions b/debian/supported-versions index 62343be..0300517 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 [release]: 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 ;; -- cgit v1.2.3