diff options
| author | Axel Beckert <abe@deuxchevaux.org> | 2013-01-10 01:11:26 +0100 |
|---|---|---|
| committer | Axel Beckert <abe@deuxchevaux.org> | 2013-01-10 01:15:25 +0100 |
| commit | e4bf431fae75fc53f2abb9bb44c149fc22f46841 (patch) | |
| tree | 33efbd0fb324af3dc3bfa8e2be3ab7e68b06224a /debian/zsh.postinst | |
| parent | 843e72f6f1d87be4939785d98a017c71e1084910 (diff) | |
| download | zsh-e4bf431fae75fc53f2abb9bb44c149fc22f46841.tar.gz zsh-e4bf431fae75fc53f2abb9bb44c149fc22f46841.zip | |
zsh{,-dbg}.postinst: Create symlink to /usr/share/doc/zsh-common (Closes: #697808)
On purpose, dpkg doesn't replace directories with symlinks and
vice-versa. Has to be done manually in the maintainer scripts.
Thanks: Sebastian Ramacher <sramacher@debian.org>
Diffstat (limited to 'debian/zsh.postinst')
| -rw-r--r-- | debian/zsh.postinst | 8 |
1 files changed, 8 insertions, 0 deletions
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 |