diff options
Diffstat (limited to 'extra/zsh/zsh.install')
| -rw-r--r-- | extra/zsh/zsh.install | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/extra/zsh/zsh.install b/extra/zsh/zsh.install index e2a53bea8..8e54d92ee 100644 --- a/extra/zsh/zsh.install +++ b/extra/zsh/zsh.install @@ -1,5 +1,12 @@ +infodir=usr/share/info +filelist=(zsh.info zsh.info-1 zsh.info-2 zsh.info-3 zsh.info-4 zsh.info-5 zsh.info-6) + post_install() { grep -q '/bin/zsh' etc/shells || echo '/bin/zsh' >> etc/shells + [ -x usr/bin/install-info ] || return 0 + for file in ${filelist[@]}; do + install-info $infodir/$file.gz $infodir/dir 2> /dev/null + done } post_upgrade() { @@ -8,4 +15,8 @@ post_upgrade() { pre_remove() { sed -i '/^\/bin\/zsh/d' etc/shells + [ -x usr/bin/install-info ] || return 0 + for file in ${filelist[@]}; do + install-info --delete $infodir/$file.gz $infodir/dir 2> /dev/null + done } |