diff options
Diffstat (limited to 'community/plan9port/plan9.install')
-rw-r--r-- | community/plan9port/plan9.install | 17 |
1 files changed, 4 insertions, 13 deletions
diff --git a/community/plan9port/plan9.install b/community/plan9port/plan9.install index 97ca74fa6..5c76552f3 100644 --- a/community/plan9port/plan9.install +++ b/community/plan9port/plan9.install @@ -1,12 +1,4 @@ post_install() { - echo "==> Decompressing plan9 man pages" - for i in `find /opt/plan9/man -type f`; do - if [ ${i##*.} = "gz" ]; then -# echo " ${i%%.*}..." - gunzip $i - fi - done - echo "" echo "==> In order to use Plan9 specific apps, run them" echo " as arguments to the '9' script, i.e. '9 date'" @@ -15,16 +7,15 @@ post_install() { source /etc/profile.d/plan9.sh } -pre_upgrade() { - post_remove -} - post_upgrade() { post_install } +pre_upgrade() { + post_remove +} + post_remove() { #we had to unpack them so they won't get removed.... rm -rf /opt/plan9/man } - |