summarylogtreecommitdiffstats
path: root/gnome-shell-extension.install
diff options
context:
space:
mode:
authorMohammadreza Abdollahzadeh2019-01-28 20:18:41 +0330
committerMohammadreza Abdollahzadeh2019-01-28 20:18:41 +0330
commite83dc885530ca9fd0fcfe0a16f8a040877ae4c8f (patch)
treef65e5f367f863b2dc3d40272c39474f0d99fd27b /gnome-shell-extension.install
downloadaur-e83dc885530ca9fd0fcfe0a16f8a040877ae4c8f.tar.gz
initial import
Diffstat (limited to 'gnome-shell-extension.install')
-rw-r--r--gnome-shell-extension.install13
1 files changed, 13 insertions, 0 deletions
diff --git a/gnome-shell-extension.install b/gnome-shell-extension.install
new file mode 100644
index 00000000000..484bc1b03f7
--- /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
+}