summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorXZS2017-09-28 14:27:47 +0200
committerXZS2017-09-28 14:27:47 +0200
commit5d1c238d4d6e780144cd6824dd71aab567ff4fdb (patch)
treefcfaefab41554ea25b9e4b7cb9425f5a327ce36d
parent77cb9f9423ef06cc3763d5268710ce54b2c3248d (diff)
downloadaur-5d1c238d4d6e780144cd6824dd71aab567ff4fdb.tar.gz
propagate upstream update
HiDPI support improved, the extension better adheres to shell themes and various players were adjusted for. In addition, efficiency was greatly improved by solely reacting to events instead of querying for changes.
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD2
2 files changed, 3 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 760db9924a9..1bb6ae74115 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = gnome-shell-extension-mediaplayer-git
pkgdesc = A mediaplayer indicator for the Gnome Shell
- pkgver = 0.1
+ pkgver = 0.2
pkgrel = 1
url = https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer
install = gschemas.install
@@ -11,7 +11,7 @@ pkgbase = gnome-shell-extension-mediaplayer-git
makedepends = git
depends = gnome-shell
optdepends = mpdris2-git: MPD support
- provides = gnome-shell-extension-mediaplayer=0.1
+ provides = gnome-shell-extension-mediaplayer=0.2
conflicts = gnome-shell-extension-mediaplayer
source = gnome-shell-extension-mediaplayer::git+https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer
md5sums = SKIP
diff --git a/PKGBUILD b/PKGBUILD
index 469696524ce..833b689d56d 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -5,7 +5,7 @@
# You may find it convenient to file issues and pull requests there.
pkgname=gnome-shell-extension-mediaplayer-git
-pkgver=0.1
+pkgver=0.2
pkgrel=1
pkgdesc='A mediaplayer indicator for the Gnome Shell'
arch=('any')