diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 13:14:45 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 13:14:45 +0000 |
| commit | 1ceecc69711e82bee12203b95ac8fccfaad58b2d (patch) | |
| tree | ef6b46cbd3d743073ea886c5d1eea074a0a2e295 /debian/util-linux.postinst | |
| parent | Adding upstream version 2.36.1. (diff) | |
| download | util-linux-1ceecc69711e82bee12203b95ac8fccfaad58b2d.tar.xz util-linux-1ceecc69711e82bee12203b95ac8fccfaad58b2d.zip | |
Adding debian version 2.36.1-8+deb11u1.debian/2.36.1-8+deb11u1debian
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
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# |