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