diff options
-rw-r--r-- | .SRCINFO | 5 | ||||
-rw-r--r-- | PKGBUILD | 3 | ||||
-rw-r--r-- | gnome-shell-extension.install | 13 |
3 files changed, 18 insertions, 3 deletions
@@ -1,10 +1,11 @@ # Generated by mksrcinfo v8 -# Wed May 31 01:50:59 UTC 2017 +# Fri Jun 30 19:04:13 UTC 2017 pkgbase = gnome-shell-extension-workspaces-to-dock-git pkgdesc = Gnome shell extension, Workspaces to Dock, Transform Gnome Shell's overview workspaces into an intelligent dock. - pkgver = 42_3.24.r0.ga9120bb + pkgver = 42_3.24.r6.g6020b5f pkgrel = 1 url = https://github.com/passingthru67/workspaces-to-dock + install = gnome-shell-extension.install arch = any groups = gnome-shell-extensions license = GPL @@ -1,7 +1,7 @@ # Maintainer: Mohammadreza Abdollahzadeh <morealaz at gmail dot com> pkgname=gnome-shell-extension-workspaces-to-dock-git -pkgver=42_3.24.r0.ga9120bb +pkgver=42_3.24.r6.g6020b5f pkgrel=1 pkgdesc="Gnome shell extension, Workspaces to Dock, Transform Gnome Shell's overview workspaces into an intelligent dock." arch=('any') @@ -14,6 +14,7 @@ provides=("${pkgname%-git}") conflicts=("${pkgname%-git}") replaces=("${pkgname%-git}") source=("git+https://github.com/passingthru67/workspaces-to-dock.git") +install='gnome-shell-extension.install' md5sums=('SKIP') pkgver() { 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 +} |