Thanks for this one Matthew.
Looking further, I noticed.. - /usr/local/share/gtk-doc (=131MB), html doc completed of some vary .png files.. I guess this could be not only an endemic problem of my stick as gtk-doc is not installed here: I'm not in the need of GTK C code documentation - /usr/local/share/doc (=118MB) and.. - what about /usr/local/share/gir-1.0 (70M) ? I'd like almost to delete ./gtk-doc and move ./doc to eg. /home/ (with sensibly more space) with a link to among the toppings.. ;D -- Daniele Bonini Matthew Ernisse <[email protected]> wrote: > On Sun, Aug 13, 2023 at 02:31:44AM +0200, Daniele B. said: > >I found instead /usr/share/relink/kernel/GENERIC.MP (636M) that is > >good to not have, eventually. Is it safe to move away or erase it? > > Leave it alone. > > >Any other suggestion for my /usr cleaning campaign? ;D > > You have sufficient free space to safely proceed with the upgrade. > Why potentially risk deleting something you don't understand? > > I would suggest either: > - Proceed with the upgrade. > - Reinstall the system from scratch with a larger /usr.

