diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/util-linux.postinst | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/debian/util-linux.postinst b/debian/util-linux.postinst new file mode 100644 index 0000000..d2ff0ba --- /dev/null +++ b/debian/util-linux.postinst @@ -0,0 +1,14 @@ +#!/bin/sh +set -e + +if [ "$(uname -s)" = "Linux" ]; then + update-alternatives --install /usr/bin/pager pager /bin/more 50 \ + --slave /usr/share/man/man1/pager.1.gz pager.1.gz \ + /usr/share/man/man1/more.1.gz +fi + +# We stopped shipping the 'pg' utility, so remove it as a pager +# alternative on upgrades from Stretch. +update-alternatives --remove pager /usr/bin/pg + +#DEBHELPER# |