diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/util-linux.postinst | 10 | ||||
| -rw-r--r-- | debian/util-linux.postinst.linux | 8 |
2 files changed, 8 insertions, 10 deletions
diff --git a/debian/util-linux.postinst b/debian/util-linux.postinst deleted file mode 100644 index c9a446e..0000000 --- a/debian/util-linux.postinst +++ /dev/null @@ -1,10 +0,0 @@ -#!/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 - -#DEBHELPER# diff --git a/debian/util-linux.postinst.linux b/debian/util-linux.postinst.linux new file mode 100644 index 0000000..9df1520 --- /dev/null +++ b/debian/util-linux.postinst.linux @@ -0,0 +1,8 @@ +#!/bin/sh +set -e + +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 + +#DEBHELPER# |