diff --git a/debian/changelog b/debian/changelog index 97d49d0..5921173 100644 --- a/debian/changelog +++ b/debian/changelog @@ -23,6 +23,10 @@ [ Jakub Wilk ] * which-pkg-broke: Massive speedup due to calling apt-cache less often. (Closes: #883896) + + [ Marcel Partap ] + * debmany: Support gzip compressed text files even if the pager does not + support them. (Closes: #892211) -- Axel Beckert Sun, 03 Dec 2017 03:28:50 +0100 diff --git a/debmany/debmany b/debmany/debmany index 9996a1a..01fba4b 100755 --- a/debmany/debmany +++ b/debmany/debmany @@ -413,7 +413,12 @@ else # other file (usr/share/doc) debug "Opening other file: "`printf "$othercmdline" "$PWD/$return"` # comment - eval $(printf "$othercmdline" "$PWD/$return") + if [[ "$return" =~ \.gz$ ]] + then + eval $(printf "gzip -dc $PWD/$return | $othercmdline") + else + eval $(printf "$othercmdline" "$PWD/$return") + fi fi else cd "$curdir"