diff options
Diffstat (limited to '')
| -rwxr-xr-x | debian/progress-linux.config | 14 | ||||
| -rwxr-xr-x | debian/progress-linux.postinst | 5 |
2 files changed, 18 insertions, 1 deletions
diff --git a/debian/progress-linux.config b/debian/progress-linux.config index 12dd625..e5df326 100755 --- a/debian/progress-linux.config +++ b/debian/progress-linux.config @@ -60,6 +60,13 @@ then Run_debconf ;; + 8*) + RELEASE="8" + CODENAME="horok" + + Run_debconf + ;; + *) echo "W: unsupported debian release" ;; @@ -87,6 +94,13 @@ else Run_debconf ;; + 13.*|trixie/sid) + RELEASE="8" + CODENAME="horok" + + Run_debconf + ;; + *) echo "W: unsupported debian release" ;; diff --git a/debian/progress-linux.postinst b/debian/progress-linux.postinst index cd43086..c51d921 100755 --- a/debian/progress-linux.postinst +++ b/debian/progress-linux.postinst @@ -197,7 +197,7 @@ case "${1}" in for ARCHIVE in ${ARCHIVES} do case "${ARCHIVE}" in - engywuck|fuchur|graograman) + engywuck|fuchur|graograman|horok) BACKPORTS_PRIORITY="999" ;; esac @@ -215,6 +215,9 @@ case "${1}" in 12.*|bookworm/sid) ;; + 13.*|trixie/sid) + ;; + *) echo "W: unsupported debian release" |