diff options
| author | Koop Mast <kwm@FreeBSD.org> | 2014-12-03 09:18:23 +0000 |
|---|---|---|
| committer | Koop Mast <kwm@FreeBSD.org> | 2014-12-03 09:18:23 +0000 |
| commit | 6ce4980916f67851d29fde70453953cd55e7edf5 (patch) | |
| tree | 9021a26f76674a75f55054140dbaa1e2146de3d6 /deskutils/gnome-shell-extension-mediaplayer | |
| parent | - Move the project over to GitHub, together with our patches (diff) | |
Update GNOME to 3.14.2.
This update was brought to you in collaboration with Gustua Perez
Make sure gtk30 pulls it the default theme (adwaita-icon-theme).
Update the extra gnome-shell-extensions so they work with gnome-shell 3.14.
Drop metacity from gnome3 meta-port.
Remove the gtile gnome-shell extension since it proven to be buggy.
Exp-run done by antoine@ for gdk-pixbuf2 deprecated API.
PR: 195414
Obtained from: gnome dev repo
Notes
Notes:
svn path=/head/; revision=373802
Diffstat (limited to 'deskutils/gnome-shell-extension-mediaplayer')
| -rw-r--r-- | deskutils/gnome-shell-extension-mediaplayer/Makefile | 9 | ||||
| -rw-r--r-- | deskutils/gnome-shell-extension-mediaplayer/distinfo | 4 | ||||
| -rw-r--r-- | deskutils/gnome-shell-extension-mediaplayer/pkg-plist | 1 |
3 files changed, 7 insertions, 7 deletions
diff --git a/deskutils/gnome-shell-extension-mediaplayer/Makefile b/deskutils/gnome-shell-extension-mediaplayer/Makefile index 6aa9606de90e..9ff27d6e6879 100644 --- a/deskutils/gnome-shell-extension-mediaplayer/Makefile +++ b/deskutils/gnome-shell-extension-mediaplayer/Makefile @@ -1,9 +1,8 @@ # Created by: Gustau Perez i Querol <gustau.perez@gmail.com> # $FreeBSD$ -# $MCom: ports/trunk/deskutils/gnome-shell-extension-mediaplayer/Makefile 20013 2014-10-23 06:14:25Z gusi $ PORTNAME= gnome-shell-extension-mediaplayer -PORTVERSION= 0.0.0.20140916 +PORTVERSION= 0.0.0.20141126 CATEGORIES= deskutils gnome DIST_SUBDIR= gnome3 @@ -15,7 +14,7 @@ BUILD_DEPENDS= gnome-autogen.sh:${PORTSDIR}/devel/gnome-common \ RUN_DEPENDS= gnome-shell>=0:${PORTSDIR}/x11/gnome-shell \ gsettings-desktop-schemas>=3.12.0:${PORTSDIR}/devel/gsettings-desktop-schemas -WRKSRC= ${WRKDIR}/eonpatapon-gnome-shell-extensions-mediaplayer-623a9b3 +WRKSRC= ${WRKDIR}/eonpatapon-gnome-shell-extensions-mediaplayer-${GH_COMMIT} USES= autoreconf:build gettext gmake libtool pkgconfig tar:xz USE_GNOME= glib20 intltool @@ -28,8 +27,8 @@ GLIB_SCHEMAS= org.gnome.shell.extensions.mediaplayer.gschema.xml GH_ACCOUNT= eonpatapon GH_PROJECT= gnome-shell-extensions-mediaplayer -GH_TAGNAME= 623a9b3 -GH_COMMIT= 623a9b3 +GH_TAGNAME= a236a01 +GH_COMMIT= a236a01 PKGMESSAGE= ../gnome-shell-extra-extensions/pkg-message.slaves diff --git a/deskutils/gnome-shell-extension-mediaplayer/distinfo b/deskutils/gnome-shell-extension-mediaplayer/distinfo index 0f721da5ae8e..b59bb87dddee 100644 --- a/deskutils/gnome-shell-extension-mediaplayer/distinfo +++ b/deskutils/gnome-shell-extension-mediaplayer/distinfo @@ -1,2 +1,2 @@ -SHA256 (gnome3/gnome-shell-extension-mediaplayer-0.0.0.20140916.tar.xz) = 6c7bf2f6c67fd5273a00c7067106b8f1c22df5abcfbd0061842a6ad9599c4117 -SIZE (gnome3/gnome-shell-extension-mediaplayer-0.0.0.20140916.tar.xz) = 265104 +SHA256 (gnome3/gnome-shell-extension-mediaplayer-0.0.0.20141126.tar.xz) = 40d486a740b644c8677e98cc61b7d8c50df696a20fcfdb366e0266b2b1394492 +SIZE (gnome3/gnome-shell-extension-mediaplayer-0.0.0.20141126.tar.xz) = 265618 diff --git a/deskutils/gnome-shell-extension-mediaplayer/pkg-plist b/deskutils/gnome-shell-extension-mediaplayer/pkg-plist index 4098806985d1..28ff8baf71b5 100644 --- a/deskutils/gnome-shell-extension-mediaplayer/pkg-plist +++ b/deskutils/gnome-shell-extension-mediaplayer/pkg-plist @@ -8,6 +8,7 @@ lib/locale/lt/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo lib/locale/nl/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo lib/locale/pl/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo lib/locale/pt_BR/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo +lib/locale/ro/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo lib/locale/ru/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo lib/locale/tr/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo lib/locale/zh_TW/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo |