diff options
-rw-r--r-- | debian/open-infrastructure-container-tools.config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/open-infrastructure-container-tools.config b/debian/open-infrastructure-container-tools.config index 514d1bb..3384ed7 100644 --- a/debian/open-infrastructure-container-tools.config +++ b/debian/open-infrastructure-container-tools.config @@ -43,7 +43,7 @@ then DISTRIBUTOR="${DISTRIBUTOR:-Debian}" case "${DISTRIBUTOR}" in - Progress*) + Progress-Linux) SCRIPT_DEFAULT="progress-linux" ;; |