
post_install() {
  echo " > You need to source /etc/profile in your ~/.bashrc for this to work"
}
