summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorXZS2016-03-23 21:06:11 +0100
committerXZS2016-03-23 21:06:11 +0100
commit82953166daa452b8915209b3112cd0b4d7ef2162 (patch)
tree9cdc994968fd50b254cd006c24acaebd4c683f35
parent6b52e3a8185dedcd0f454f2c79543613a7a24260 (diff)
downloadaur-82953166daa452b8915209b3112cd0b4d7ef2162.tar.gz
propagate upstream update
Apart from translation updates, the intellihide machinery has been optimized. The extension can now also be active with full screen windows and supports the upcoming gnome-shell version 3.20. Fortunately, the same dash-to-dock release applies to gnome-shell 3.18 and 3.20 as well. This saves the hassle of rewriting the code that extracts the download link from the webpage and provides the hopeful perspective that transition will be effortless when the next stable shell version hits the Arch Linux repositories.
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD2
2 files changed, 2 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 7b548225067..eff8b70889d 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = gnome-shell-extension-dash-to-dock
pkgdesc = move the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops
- pkgver = 50
+ pkgver = 53
pkgrel = 1
url = https://micheleg.github.io/dash-to-dock/
install = gschemas.install
diff --git a/PKGBUILD b/PKGBUILD
index 5cb98360b81..efe00229598 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
-pkgver=50
+pkgver=53
pkgrel=1
pkgdesc="move the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops"
arch=('any')