diff --git a/deskutils/gnome-shell-extension-mediaplayer/Makefile b/deskutils/gnome-shell-extension-mediaplayer/Makefile index 0075965f674f..621122ae56fb 100644 --- a/deskutils/gnome-shell-extension-mediaplayer/Makefile +++ b/deskutils/gnome-shell-extension-mediaplayer/Makefile @@ -1,35 +1,35 @@ # Created by: Gustau Perez i Querol PORTNAME= gnome-shell-extension-mediaplayer PORTVERSION= 4.0 CATEGORIES= deskutils gnome -DIST_SUBDIR= gnome3 +DIST_SUBDIR= gnome MAINTAINER= gnome@FreeBSD.org COMMENT= MPRIS2 extension for the GNOME3 shell BUILD_DEPENDS= gsettings-desktop-schemas>=3.12.0:devel/gsettings-desktop-schemas RUN_DEPENDS= gnome-shell>=0:x11/gnome-shell \ gsettings-desktop-schemas>=3.12.0:devel/gsettings-desktop-schemas USES= gettext gnome meson pkgconfig python:3.4+,build USE_GNOME= glib20 intltool USE_LDCONFIG= yes BINARY_ALIAS= python3=${PYTHON_VERSION} GLIB_SCHEMAS= org.gnome.shell.extensions.mediaplayer.gschema.xml USE_GITHUB= yes GH_ACCOUNT= JasonLG1979 GH_PROJECT= gnome-shell-extensions-mediaplayer PKGMESSAGE= ../gnome-shell-extra-extensions/pkg-message.slaves post-install: @${MKDIR} ${STAGEDIR}${PREFIX}/share/glib-2.0/schemas/ @${MV} "${STAGEDIR}${PREFIX}/share/gnome-shell/extensions/mediaplayer@patapon.info/schemas/org.gnome.shell.extensions.mediaplayer.gschema.xml" \ ${STAGEDIR}${PREFIX}/share/glib-2.0/schemas/ @${RMDIR} ${STAGEDIR}${PREFIX}/share/gnome-shell/extensions/mediaplayer@patapon.info/schemas .include diff --git a/deskutils/gnome-shell-extension-mediaplayer/distinfo b/deskutils/gnome-shell-extension-mediaplayer/distinfo index 8928a88ed504..fdb07db15a84 100644 --- a/deskutils/gnome-shell-extension-mediaplayer/distinfo +++ b/deskutils/gnome-shell-extension-mediaplayer/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1603726020 -SHA256 (gnome3/JasonLG1979-gnome-shell-extensions-mediaplayer-4.0_GH0.tar.gz) = 01e0505be1d82877faa87fc0321a7b65b1e4f48ad19156721f6dc01326461300 -SIZE (gnome3/JasonLG1979-gnome-shell-extensions-mediaplayer-4.0_GH0.tar.gz) = 247328 +TIMESTAMP = 1656739811 +SHA256 (gnome/JasonLG1979-gnome-shell-extensions-mediaplayer-4.0_GH0.tar.gz) = 01e0505be1d82877faa87fc0321a7b65b1e4f48ad19156721f6dc01326461300 +SIZE (gnome/JasonLG1979-gnome-shell-extensions-mediaplayer-4.0_GH0.tar.gz) = 247328