diff options
| -rw-r--r-- | debian/zsh-dbg.postinst | 28 | ||||
| -rw-r--r-- | debian/zsh.postinst | 8 |
2 files changed, 36 insertions, 0 deletions
diff --git a/debian/zsh-dbg.postinst b/debian/zsh-dbg.postinst new file mode 100644 index 000000000..dac01ba3b --- /dev/null +++ b/debian/zsh-dbg.postinst @@ -0,0 +1,28 @@ +#!/bin/sh + +set -e + +case "$1" in + (configure) + : + ;; + (abort-upgrade|abort-remove|abort-deconfigure) + exit 0 + ;; + (*) + echo "postinst called with unknown argument \`$1'" >&2 + exit 0 + ;; +esac + +# Replace documentation directory with symlink +docdir="/usr/share/doc/zsh-dbg" +if [ -d $docdir -a ! -L $docdir ]; then + if rmdir $docdir 2>/dev/null; then + ln -sf zsh-common $docdir + fi +fi + +#DEBHELPER# + +exit 0 diff --git a/debian/zsh.postinst b/debian/zsh.postinst index c9be2ebbb..0224d5003 100644 --- a/debian/zsh.postinst +++ b/debian/zsh.postinst @@ -26,6 +26,14 @@ update-alternatives --install /bin/zsh zsh /bin/zsh5 50 \ update-alternatives --install /bin/rzsh rzsh /bin/zsh5 50 \ --slave /usr/share/man/man1/rzsh.1.gz rzsh.1.gz /usr/share/man/man1/zsh.1.gz +# Replace documentation directory with symlink +docdir="/usr/share/doc/zsh" +if [ -d $docdir -a ! -L $docdir ]; then + if rmdir $docdir 2>/dev/null; then + ln -sf zsh-common $docdir + fi +fi + #DEBHELPER# exit 0 |