1 2 3
post_install() { echo -e "\033[0;31msource /etc/profile.d/petsc.sh to set environment variables\033[0m" }