gnome-shell-extension.install


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

post_install() {
	echo "     ______________________________________________________ "
	echo "==> /                                                      \"
  	echo "==> |          Don't forget to Restart GNOME Shell         |"
  	echo "==> |                   (Alt+F2, type r)                   |"
	echo "    \______________________________________________________/"
}

post_upgrade() {
	post_install
}

post_remove() {
	post_install
}