git: e9a03b18bae1 - main - x11/xfce4-goodies: Remove MIDORI option
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sun, 10 Dec 2023 09:45:23 UTC
The branch main has been updated by madpilot:
URL: https://cgit.FreeBSD.org/ports/commit/?id=e9a03b18bae12a679b2fb7801bd8fd406005d4a7
commit e9a03b18bae12a679b2fb7801bd8fd406005d4a7
Author: Guido Falsi <madpilot@FreeBSD.org>
AuthorDate: 2023-12-10 09:44:50 +0000
Commit: Guido Falsi <madpilot@FreeBSD.org>
CommitDate: 2023-12-10 09:44:50 +0000
x11/xfce4-goodies: Remove MIDORI option
This is a followup to commit 32afc2de5073731f3fcdbfc38171908619651758 [1].
Midori is not part of XFCE anymore, so remove it from the metaport.
While here also reflow options, and add newlines to ease readability.
[1] https://cgit.freebsd.org/ports/commit/?id=32afc2de5073731f3fcdbfc38171908619651758
---
x11/xfce4-goodies/Makefile | 13 ++++++-------
1 file changed, 6 insertions(+), 7 deletions(-)
diff --git a/x11/xfce4-goodies/Makefile b/x11/xfce4-goodies/Makefile
index 5c7ba2f26873..72099bd9b797 100644
--- a/x11/xfce4-goodies/Makefile
+++ b/x11/xfce4-goodies/Makefile
@@ -1,6 +1,6 @@
PORTNAME= xfce4-goodies
PORTVERSION= 4.18
-PORTREVISION= 3
+PORTREVISION= 4
CATEGORIES= x11
MAINTAINER= xfce@FreeBSD.org
@@ -32,14 +32,13 @@ OPTIONS_EXCLUDE_riscv64sf= BATTERY
OPTIONS_GROUP= APPLICATIONS PANELPLUGINS THUNARPLUGINS UNOFFICIAL
-OPTIONS_GROUP_APPLICATIONS= DASHBOARD DICTIONARY GIGOLO MIDORI MIXER \
- PAROLE POWERMANAGER RISTRETTO SCREENSAVER \
- SCREENSHOOTER TASKMANAGER TERMINAL VOLUMEDPULSE \
- XFBURN XFMPC
+OPTIONS_GROUP_APPLICATIONS= DASHBOARD DICTIONARY GIGOLO MIXER PAROLE \
+ POWERMANAGER RISTRETTO SCREENSAVER SCREENSHOOTER \
+ TASKMANAGER TERMINAL VOLUMEDPULSE XFBURN XFMPC
+
DASHBOARD_DESC= GNOME shell like dashboard for the Xfce desktop
DICTIONARY_DESC= Xfce4 plugin to query different dictionaries
GIGOLO_DESC= Frontend to easily manage filesystem connections
-MIDORI_DESC= Lightweight web browser using WebKit engine
MIXER_DESC= Volume control for the Xfce desktop
PAROLE_DESC= Lightweight media player based on GStreamer
POWERMANAGER_DESC= Power manager for the Xfce Desktop
@@ -55,7 +54,6 @@ XFMPC_DESC= Graphical MPD client focusing on low footprint
DASHBOARD_RUN_DEPENDS= xfce4-dashboard>=0:x11/xfce4-dashboard
DICTIONARY_RUN_DEPENDS= xfce4-dict-plugin>=0:textproc/xfce4-dict-plugin
GIGOLO_RUN_DEPENDS= gigolo>=0:sysutils/gigolo
-MIDORI_RUN_DEPENDS= midori>=0:www/midori
MIXER_RUN_DEPENDS= xfce4-mixer>=0:audio/xfce4-mixer
PAROLE_RUN_DEPENDS= parole>=0:multimedia/xfce4-parole
POWERMANAGER_RUN_DEPENDS= xfce4-power-manager>=0:sysutils/xfce4-power-manager
@@ -74,6 +72,7 @@ OPTIONS_GROUP_PANELPLUGINS= BATTERY CALCULATOR CLIPMAN CPUGRAPH DATETIME \
SMARTBOOKMARK STOPWATCH SYSTEMLOAD TIMER \
TIMEOUT VERVE WAVELAN WEATHER WHISKERMENU \
WINDOWCK XKB
+
BATTERY_DESC= Battery monitor panel plugin for Xfce4
CALCULATOR_DESC= Simple calculator for the Xfce panel
CLIPMAN_DESC= Clipboard manager for the Xfce panel