diff options
-rwxr-xr-x | debian/progress-linux.config | 14 | ||||
-rwxr-xr-x | debian/progress-linux.postinst | 3 |
2 files changed, 17 insertions, 0 deletions
diff --git a/debian/progress-linux.config b/debian/progress-linux.config index 4532d78..12dd625 100755 --- a/debian/progress-linux.config +++ b/debian/progress-linux.config @@ -53,6 +53,13 @@ then Run_debconf ;; + 7*) + RELEASE="7" + CODENAME="graograman" + + Run_debconf + ;; + *) echo "W: unsupported debian release" ;; @@ -73,6 +80,13 @@ else Run_debconf ;; + 12.*|bookworm/sid) + RELEASE="7" + CODENAME="graograman" + + Run_debconf + ;; + *) echo "W: unsupported debian release" ;; diff --git a/debian/progress-linux.postinst b/debian/progress-linux.postinst index b102b48..9ff920b 100755 --- a/debian/progress-linux.postinst +++ b/debian/progress-linux.postinst @@ -212,6 +212,9 @@ case "${1}" in 11.*|bullseye/sid) ;; + 12.*|bookworm/sid) + ;; + *) echo "W: unsupported debian release" |