summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorXZS2016-03-23 21:06:38 +0100
committerXZS2016-03-23 21:06:38 +0100
commit94dbeaebcb9e2c4a6fd808abf55494865157c540 (patch)
tree0e5c667730e70a9d65083d02e3fd15b86874a3a2
parente69e6cfb8b5286bd9122f993ef1ab821dcf44786 (diff)
downloadaur-94dbeaebcb9e2c4a6fd808abf55494865157c540.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 provides the hopeful perspective that transition will be effortless when the next stable shell version hits the Arch Linux repositories.
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD4
2 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 61d3121a86c..a9c93a9f400 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = gnome-shell-extension-dash-to-dock-git
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
- pkgrel = 3
+ pkgver = 53
+ pkgrel = 1
url = https://micheleg.github.io/dash-to-dock/
install = gschemas.install
arch = any
@@ -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=50
+ provides = gnome-shell-extension-dash-to-dock=53.r0.g1452801
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 966c12e40a8..16538635748 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -6,8 +6,8 @@
# You may find it convenient to file issues and pull requests there.
pkgname=gnome-shell-extension-dash-to-dock-git
-pkgver=50
-pkgrel=3
+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')
url="https://micheleg.github.io/dash-to-dock/"