[aur-requests] [PRQ#11850] Deletion Request for gnome-shell-extension-topicons-plus
buzo [1] filed a deletion request for gnome-shell-extension-topicons- plus [2]: This extension is dead. (See upstream URL) [1] https://aur.archlinux.org/account/buzo/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-topicons-plus/
On Tue, 2018-06-19 at 05:45 +0000, notify@aur.archlinux.org wrote:
buzo [1] filed a deletion request for gnome-shell-extension-topicons- plus [2]:
This extension is dead. (See upstream URL)
Upstream is not dead, merely unmaintained. To quote the author:
However, I see a lot of people worrying or talking of TopIcons-Plus as a dead thing that needs instant replacement.
The code is here, rather clean, and it is going to work for a while. I may also make one or two releases if/when it is really necessary. Just don't expect new features or great bug hunting.
Somehow, that has always been the point of TopIcons-Plus: filling the gap between nothing and long term solutions which will require code changes in many applications (AppIndicator or, better in my opinion, following the Gnome design with a daemon and notifications).
(issue #91) The extension still has merit, and is still working. Why remove it while it does? Regards, Bert Peters
Request #11850 has been rejected by Eschwartz [1]: It's not dead until it stops working, the upstream developer abandoned future development but that doesn't automatically mean the code stops working. [1] https://aur.archlinux.org/account/Eschwartz/
participants (2)
-
Bert Peters
-
notify＠aur.archlinux.org