diff options
| author | Mohammadreza Abdollahzadeh | 2017-07-11 19:16:22 +0430 |
|---|---|---|
| committer | Mohammadreza Abdollahzadeh | 2017-07-11 19:16:22 +0430 |
| commit | 87fdc3fdcf0a9053e7729f89c3c3150e62eea08d (patch) | |
| tree | 51f9ee68bdb961a97acd5de50c14a9153f2d246a /gnome-shell-extension.install | |
| download | aur-87fdc3fdcf0a9053e7729f89c3c3150e62eea08d.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 +} |