post_install() {
	if [ "$XDG_SESSION_TYPE" == "x11" ]; then
		echo "==> ****************************************************"
		echo "==> Don't forget to Restart GNOME Shell ([Alt]+[F2], r)."
		echo "==> ****************************************************"
	fi
}

post_upgrade() {
	post_install
}

post_remove() {
	post_install
}