blob: d2ff0ba965d774288cd75d67b40349a8edb0dad6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
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#
|
