gnome-shell-extension.install


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

post_install() {
	echo "==> ****************************************************"
  	echo "==> Don't forget to Restart GNOME Shell ([Alt]+[F2], r)."
  	echo "==> ****************************************************"
}

post_upgrade() {
	post_install
}

post_remove() {
	post_install
}