summaryrefslogtreecommitdiffstats
path: root/debian/supported-versions
diff options
context:
space:
mode:
Diffstat (limited to 'debian/supported-versions')
-rwxr-xr-xdebian/supported-versions11
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
;;