update to r231.25a80f1

3 files changed, 18 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 7cbddc2fec3f..cc1cf22516a8 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,10 +1,11 @@
 # Generated by mksrcinfo v8
-# Fri Sep 29 05:03:46 UTC 2017
+# Tue Oct 10 04:51:27 UTC 2017
 pkgbase = gnome-shell-extension-dash-to-panel-git
 	pkgdesc = Extension for GNOME shell to combine the dash and main panel
-	pkgver = r227.a798e65
+	pkgver = r231.25a80f1
 	pkgrel = 1
 	url = https://github.com/jderose9/dash-to-panel
+	install = gnome-shell-extension.install
 	arch = any
 	license = GPL2
 	makedepends = git
diff --git a/PKGBUILD b/PKGBUILD
index 41c186b2c16f..f8368e5c61b5 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Mohammadreza Abdollahzadeh < morealaz at gmail dot com >
 # Contributor: Carl George < arch at cgtx dot us >
 pkgname=gnome-shell-extension-dash-to-panel-git
-pkgver=r227.a798e65
+pkgver=r231.25a80f1
 pkgrel=1
 pkgdesc='Extension for GNOME shell to combine the dash and main panel'
 arch=(any)
@@ -11,6 +11,7 @@ url="https://github.com/${_githubowner}/${_githubname}"
 license=(GPL2)
 depends=('gnome-shell>=3.18')
 makedepends=(git gnome-common intltool)
+install='gnome-shell-extension.install'
 source=("git+${url}.git")
 sha256sums=('SKIP')
 
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
+}