diff options
author | root <root@rshg054.dnsready.net> | 2012-11-03 01:15:19 -0700 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2012-11-03 01:15:19 -0700 |
commit | e3f70522f1f35359d9307f478c96dace20a51ca1 (patch) | |
tree | 9db033a74cb298a1443b87e279b7549f35288789 /community/plan9port/plan9.install | |
parent | 35bd2bb6857eb818ca53b8fe34d88106133342f4 (diff) |
Sat Nov 3 01:13:31 PDT 2012
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 } - |