INSTALL


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

## arg 1:  the new package version
post_install() {
	echo ""
	echo -------------------------------------------------------------------------------
	echo Reload GNOME Shell and enable the extension to finish the installation process.
	echo -------------------------------------------------------------------------------
	echo
}

## arg 1:  the new package version
## arg 2:  the old package version
post_upgrade() {
	echo ""
	echo -------------------------------------------------
	echo Reload GNOME Shell to finish the upgrade process.
	echo -------------------------------------------------
	echo
}

## arg 1:  the old package version
post_remove() {
	echo ""
	echo ---------------------------------------------------------
	echo Reload GNOME Shell to finish the uninstallation process.
	echo ""
	echo If you didn\'t disable the extension before removal, run
	echo "'gsettings set org.gnome.mutter edge-tiling true ; \\"
	echo gsettings set org.gnome.shell.overrides edge-tiling true\'
	echo to re-enable GNOME\'s native edge tiling.
	echo ---------------------------------------------------------
	echo
}