[PRQ#51957] Deletion Request for dolphin-meld
MarsSeed [1] filed a deletion request for dolphin-meld [2]: Unneeded, broken minimally modded Dolphin, which is maintained in [extra] repo. There exists a minimal Dolphin service menu addon, installable without root, to let users easily invoke Meld from Dolphin - as pointed out by @malcolm in a comment made on 2020-09-30. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/dolphin-meld/
Hi, I'm maintaining this. I don't feel strongly about keeping it, but FWIW: 1. it regularly gets out-of-date notifications when dolphin is updated, indicating there are users who find it useful 2. the main benefit is to get the toolbar button, which is hardcoded to use a specific external diff tool, to work with meld instead (this cannot be addressed by a service menu addon, AFAIK) 3. broken? On Sun, Dec 3, 2023 at 2:42 PM <notify@aur.archlinux.org> wrote:
MarsSeed [1] filed a deletion request for dolphin-meld [2]:
Unneeded, broken minimally modded Dolphin, which is maintained in [extra] repo.
There exists a minimal Dolphin service menu addon, installable without root, to let users easily invoke Meld from Dolphin - as pointed out by @malcolm in a comment made on 2020-09-30.
[1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/dolphin-meld/
Request #51957 has been Rejected by MarsSeed [1]: Revoking this request, please kindly disregard it. Pkg owner updated it and the needed dependency name - thank you, @andykluger, and for your feedback as well. Sorry that I mistook this as if it were not useful or actively maintained. [1] https://aur.archlinux.org/account/MarsSeed/
participants (2)
-
Andy Kluger
-
notify@aur.archlinux.org