diff options
| author | Mohammadreza Abdollahzadeh | 2017-07-01 13:50:29 +0430 |
|---|---|---|
| committer | Mohammadreza Abdollahzadeh | 2017-07-01 13:50:29 +0430 |
| commit | 5a7ec285b235066a05787ff38b54e03bd430ed9d (patch) | |
| tree | b66aea0293993c0c9955d879dea4dcd899a96915 /gnome-shell-extension.install | |
| download | aur-5a7ec285b235066a05787ff38b54e03bd430ed9d.tar.gz | |
initial import
Diffstat (limited to 'gnome-shell-extension.install')
| -rw-r--r-- | gnome-shell-extension.install | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gnome-shell-extension.install b/gnome-shell-extension.install new file mode 100644 index 000000000000..484bc1b03f77 --- /dev/null +++ b/gnome-shell-extension.install @@ -0,0 +1,13 @@ +post_install() { + echo "==> ****************************************************" + echo "==> Don't forget to Restart GNOME Shell ([Alt]+[F2], r)." + echo "==> ****************************************************" +} + +post_upgrade() { + post_install +} + +post_remove() { + post_install +} |