| Server IP : 82.208.35.60 / Your IP : 216.73.216.89 Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31 System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64 User : studiokobylisy_cz ( 1008) PHP Version : 7.3.31 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /usr/ports/deskutils/gnome-shell-extension-mediaplayer/ |
Upload File : |
PORTNAME= gnome-shell-extension-mediaplayer
PORTVERSION= 4.0
CATEGORIES= deskutils gnome
DIST_SUBDIR= gnome
MAINTAINER= gnome@FreeBSD.org
COMMENT= MPRIS2 extension for the GNOME3 shell
WWW= https://extensions.gnome.org/extension/55/media-player-indicator/
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 <bsd.port.mk>