Date: Mon, 18 May 2026 22:06:38 +0000 From: Daniel Engberg <diizzy@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: e614dc4cd9de - main - deskutils/gnome-shell-extension-mediaplayer: Remove from tree Message-ID: <6a0b8d6e.45743.35078ee2@gitrepo.freebsd.org>
index | next in thread | raw e-mail
The branch main has been updated by diizzy: URL: https://cgit.FreeBSD.org/ports/commit/?id=e614dc4cd9de7db10c5965482e7f162223c78728 commit e614dc4cd9de7db10c5965482e7f162223c78728 Author: Daniel Engberg <diizzy@FreeBSD.org> AuthorDate: 2026-05-18 21:56:06 +0000 Commit: Daniel Engberg <diizzy@FreeBSD.org> CommitDate: 2026-05-18 21:56:22 +0000 deskutils/gnome-shell-extension-mediaplayer: Remove from tree Marked broken and upstream repo archived as of Sep 27, 2021 Reference: https://github.com/hellomouse/gnome-shell-extensions-mediaplayer/ --- MOVED | 1 + deskutils/Makefile | 1 - .../gnome-shell-extension-mediaplayer/Makefile | 37 ---------------------- .../gnome-shell-extension-mediaplayer/distinfo | 3 -- .../gnome-shell-extension-mediaplayer/pkg-descr | 1 - .../gnome-shell-extension-mediaplayer/pkg-plist | 32 ------------------- 6 files changed, 1 insertion(+), 74 deletions(-) diff --git a/MOVED b/MOVED index aa4b38352359..46c4338b155f 100644 --- a/MOVED +++ b/MOVED @@ -5311,3 +5311,4 @@ deskutils/gnome-shell-extension-windowoverlay-icons||2026-05-18|Marked broken an deskutils/gnome-shell-extension-weather||2026-05-18|Marked broken and abandoned upstream deskutils/gnome-shell-extension-trash||2026-05-18|Marked broken and abandoned upstream deskutils/gnome-shell-extension-panel-osd||2026-05-18|Marked broken and abandoned upstream +deskutils/gnome-shell-extension-mediaplayer||2026-05-18|Marked broken and upstream repo is archived diff --git a/deskutils/Makefile b/deskutils/Makefile index 2a64e03ffe5f..cf27a987ed53 100644 --- a/deskutils/Makefile +++ b/deskutils/Makefile @@ -88,7 +88,6 @@ SUBDIR += gnome-shell-extension-hidetopbar SUBDIR += gnome-shell-extension-lockkeys SUBDIR += gnome-shell-extension-manager - SUBDIR += gnome-shell-extension-mediaplayer SUBDIR += gnome-shell-extension-recent-items SUBDIR += gnome-shell-extension-simple-weather SUBDIR += gnome-shell-extra-extensions diff --git a/deskutils/gnome-shell-extension-mediaplayer/Makefile b/deskutils/gnome-shell-extension-mediaplayer/Makefile deleted file mode 100644 index 1ab861f30462..000000000000 --- a/deskutils/gnome-shell-extension-mediaplayer/Makefile +++ /dev/null @@ -1,37 +0,0 @@ -PORTNAME= gnome-shell-extension-mediaplayer -PORTVERSION= 4.0 -PORTREVISION= 2 -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/ - -BROKEN= Does not support recent gnome-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: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> diff --git a/deskutils/gnome-shell-extension-mediaplayer/distinfo b/deskutils/gnome-shell-extension-mediaplayer/distinfo deleted file mode 100644 index fdb07db15a84..000000000000 --- a/deskutils/gnome-shell-extension-mediaplayer/distinfo +++ /dev/null @@ -1,3 +0,0 @@ -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 diff --git a/deskutils/gnome-shell-extension-mediaplayer/pkg-descr b/deskutils/gnome-shell-extension-mediaplayer/pkg-descr deleted file mode 100644 index 46222646a0b2..000000000000 --- a/deskutils/gnome-shell-extension-mediaplayer/pkg-descr +++ /dev/null @@ -1 +0,0 @@ -A mediaplayer indicator for the gnome-shell. diff --git a/deskutils/gnome-shell-extension-mediaplayer/pkg-plist b/deskutils/gnome-shell-extension-mediaplayer/pkg-plist deleted file mode 100644 index bb9a9fc7917e..000000000000 --- a/deskutils/gnome-shell-extension-mediaplayer/pkg-plist +++ /dev/null @@ -1,32 +0,0 @@ -share/gnome-shell/extensions/mediaplayer@patapon.info/dbus.js -share/gnome-shell/extensions/mediaplayer@patapon.info/extension.js -share/gnome-shell/extensions/mediaplayer@patapon.info/lib.js -share/gnome-shell/extensions/mediaplayer@patapon.info/manager.js -share/gnome-shell/extensions/mediaplayer@patapon.info/metadata.json -share/gnome-shell/extensions/mediaplayer@patapon.info/mpi-symbolic.svg -share/gnome-shell/extensions/mediaplayer@patapon.info/panel.js -share/gnome-shell/extensions/mediaplayer@patapon.info/player.js -share/gnome-shell/extensions/mediaplayer@patapon.info/prefs.js -share/gnome-shell/extensions/mediaplayer@patapon.info/settings.js -share/gnome-shell/extensions/mediaplayer@patapon.info/stylesheet.css -share/gnome-shell/extensions/mediaplayer@patapon.info/ui.js -share/gnome-shell/extensions/mediaplayer@patapon.info/util.js -share/gnome-shell/extensions/mediaplayer@patapon.info/widget.js -share/locale/de/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo -share/locale/es/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo -share/locale/fr/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo -share/locale/gl/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo -share/locale/he/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo -share/locale/it/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo -share/locale/lt/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo -share/locale/nb_NO/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo -share/locale/nl/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo -share/locale/pl/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo -share/locale/pt_BR/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo -share/locale/ro/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo -share/locale/ru/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo -share/locale/sk/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo -share/locale/sr/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo -share/locale/tr/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo -share/locale/zh_CN/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mo -share/locale/zh_TW/LC_MESSAGES/gnome-shell-extensions-mediaplayer.mohome | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?6a0b8d6e.45743.35078ee2>