gnome-shell-extension.install


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

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
}