Thursday, 2 April
2020
Thu, 2 Apr
'20
5:11 p.m.
I'm aware of the `fedpkg retire` command, but that seemingly retires the package
entirely, and even auto pushes the changes to my package repo. (I will now need to revert
this or something -- I'd assumed there would at least be a prompt to confirm before
doing a git push...)
The package I want to *halfway* retire is gnome-shell-extension-no-topleft-hot-corner,
which allows you to disable the "hot corner" in GNOME Shell. As of GNOME 3.34,
you can now do this from GNOME Tweaks, so the No Topleft Hot Corner extension is
obsolete... Having it installed does no harm, but it's redundant.
This means the extension was actually obsoleted in Fedora 31, though the Packaging
Guidelines say not to deprecate packages in a stable branched release of the distro. So I
would have liked to retire the package only for Fedora 32+ -- the extension may still be
useful in EPEL 7 and 8.