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
}