diff options
Diffstat (limited to 'community/plan9port/plan9.install')
-rw-r--r-- | community/plan9port/plan9.install | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/community/plan9port/plan9.install b/community/plan9port/plan9.install deleted file mode 100644 index 5c76552f3..000000000 --- a/community/plan9port/plan9.install +++ /dev/null @@ -1,21 +0,0 @@ -post_install() { - echo "" - echo "==> In order to use Plan9 specific apps, run them" - echo " as arguments to the '9' script, i.e. '9 date'" - echo "==> Please log off or 'source /etc/profile.d/plan9.sh'" - echo "==> Run '9 man 1 intro | less' to begin" - source /etc/profile.d/plan9.sh -} - -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 -} |