summaryrefslogtreecommitdiffstats
path: root/debian/progress-linux.config
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-28 11:06:49 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-28 11:06:49 +0000
commit9074629e5dc155b8fe04f33c283063dffec4537c (patch)
treebff6b5982e0f6dbc863898fba89009ef3dd183e4 /debian/progress-linux.config
parentReleasing debian version 20240420-3. (diff)
downloadprogress-linux-9074629e5dc155b8fe04f33c283063dffec4537c.tar.xz
progress-linux-9074629e5dc155b8fe04f33c283063dffec4537c.zip
Using dot after major version in progress-linux version handling for consistency.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
-rwxr-xr-xdebian/progress-linux.config10
1 files changed, 5 insertions, 5 deletions
diff --git a/debian/progress-linux.config b/debian/progress-linux.config
index 6939689..fa0b021 100755
--- a/debian/progress-linux.config
+++ b/debian/progress-linux.config
@@ -39,35 +39,35 @@ PROGRESS_LINUX_VERSION="$(if [ -e /etc/progress-linux_version ]; then cat /etc/p
if [ -n "${PROGRESS_LINUX_VERSION}" ]
then
case "${PROGRESS_LINUX_VERSION}" in
- 5*)
+ 5.*)
RELEASE="5"
CODENAME="engywuck"
Run_debconf
;;
- 6*)
+ 6.*)
RELEASE="6"
CODENAME="fuchur"
Run_debconf
;;
- 7*)
+ 7.*)
RELEASE="7"
CODENAME="graograman"
Run_debconf
;;
- 8*)
+ 8.*)
RELEASE="8"
CODENAME="horok"
Run_debconf
;;
- 9*)
+ 9.*)
RELEASE="9"
CODENAME="illuan"