diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/bash.postinst | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/debian/bash.postinst b/debian/bash.postinst new file mode 100644 index 0000000..ceef0dc --- /dev/null +++ b/debian/bash.postinst @@ -0,0 +1,19 @@ +#! /bin/bash + +set -e + +# This should never happen. +if [ ! -e /bin/sh ]; then + ln -s bash /bin/sh +fi + +update-alternatives --install \ + /usr/share/man/man7/builtins.7.gz \ + builtins.7.gz \ + /usr/share/man/man7/bash-builtins.7.gz \ + 10 \ + || true + +#DEBHELPER# + +exit 0 |