community/plan9port/plan9.install


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

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'"
  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
}

pre_upgrade() {
  post_remove
}

post_upgrade() {
  post_install
}

post_remove() {
  #we had to unpack them so they won't get removed....
  rm -rf /opt/plan9/man
}