devkitarm/devkitarm.install

   1
   2 post_install() {
   3         echo ">>> Don't forget to source /etc/profile.d/devkitarm.sh in your currently running shells!"
   4         echo ">>>         source /etc/profile.d/devkitarm.sh"
   5 }
   6
   7 post_upgrade() {
   8         post_install $1
   9 }
  10
  11 pre_remove() {
  12         /bin/true
  13 }
  14
  15 op=$1
  16 shift
  17
  18 $op $*
  19