diff options
author | Mohammadreza Abdollahzadeh | 2019-01-28 20:18:41 +0330 |
---|---|---|
committer | Mohammadreza Abdollahzadeh | 2019-01-28 20:18:41 +0330 |
commit | e83dc885530ca9fd0fcfe0a16f8a040877ae4c8f (patch) | |
tree | f65e5f367f863b2dc3d40272c39474f0d99fd27b /gnome-shell-extension.install | |
download | aur-e83dc885530ca9fd0fcfe0a16f8a040877ae4c8f.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 +} |