diff options
author | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-05-26 04:08:50 +0000 |
---|---|---|
committer | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-05-26 04:08:50 +0000 |
commit | cda3f380f74d60573c1202f7f34a79c8182e341a (patch) | |
tree | 267f0bea80b969004688d5352a9472b4816a8742 /core/grep/grep.install | |
parent | 5f3874cb8718456941af21c866515ddddd82edbc (diff) |
Mon May 26 04:03:20 UTC 2014
Diffstat (limited to 'core/grep/grep.install')
-rw-r--r-- | core/grep/grep.install | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/core/grep/grep.install b/core/grep/grep.install index 885238ac3..a594d9c8c 100644 --- a/core/grep/grep.install +++ b/core/grep/grep.install @@ -2,16 +2,17 @@ infodir=usr/share/info file=grep.info post_install() { - [ -x usr/bin/install-info ] || return 0 - install-info $infodir/$file.gz $infodir/dir 2> /dev/null + [[ -x usr/bin/install-info ]] || return 0 + install-info "$infodir/$file.gz" "$infodir/dir" 2> /dev/null } post_upgrade() { - post_install $1 + post_install "$1" } pre_remove() { - [ -x usr/bin/install-info ] || return 0 - install-info --delete $infodir/$file.gz $infodir/dir 2> /dev/null + [[ -x usr/bin/install-info ]] || return 0 + install-info --delete "$infodir/$file.gz" "$infodir/dir" 2> /dev/null } +# vim:set ts=2 sw=2 ft=sh et: |