summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorXZS2016-07-20 20:05:18 +0200
committerXZS2016-07-20 20:05:18 +0200
commit69826fe6fc5889434e29446aedcbc062e4d45126 (patch)
tree346750ab6fe05a04ad24da9adab3b14d7d851504
parent96ea609f2b5b464cb3773d692e184bdb47247101 (diff)
downloadaur-69826fe6fc5889434e29446aedcbc062e4d45126.tar.gz
propagate workspace isolation
A much requested feature similarly present in other extensions yields the possibility to incorporate dash-to-dock in a workspace-isolated workflow. This is a significant update users of the git variant of this package may appreciate, so it is shipped out even without a release by the upstream project. Aside, a feature update cannot hurt in the dry spell between biannual GNOME updates.
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD2
2 files changed, 3 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 58034d603fd..8bad0fd9149 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = gnome-shell-extension-dash-to-dock-git
pkgdesc = move the dash out of the overview transforming it in a dock
- pkgver = 53
+ pkgver = 53.r20
pkgrel = 1
url = https://micheleg.github.io/dash-to-dock/
install = gschemas.install
@@ -10,7 +10,7 @@ pkgbase = gnome-shell-extension-dash-to-dock-git
makedepends = git
depends = dconf
depends = gnome-shell
- provides = gnome-shell-extension-dash-to-dock=53
+ provides = gnome-shell-extension-dash-to-dock=53.r20
conflicts = gnome-shell-extension-dash-to-dock
source = gnome-shell-extension-dash-to-dock::git+https://github.com/micheleg/dash-to-dock/
md5sums = SKIP
diff --git a/PKGBUILD b/PKGBUILD
index b8f9c39abce..19a4e41ff72 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -6,7 +6,7 @@
# You may find it convenient to file issues and pull requests there.
pkgname=gnome-shell-extension-dash-to-dock-git
-pkgver=53
+pkgver=53.r20
pkgrel=1
pkgdesc="move the dash out of the overview transforming it in a dock"
arch=('any')