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 Matthew Ernisse <merni...@ub3rgeek.net> 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. -- Daniele Bonini Project Owner and Author http://5mode.com via Massimo Gorki 23 40128 splash.ooo/g/Bologna Italy +390514086280 +393314029415 -------------------------------------------------------------- This message is confidential, including all materials contained inside or attached to this email, and intended only for the addressee. If you have received this message in error, please delete it from your systems. You are hereby notified that distribution or copying of its content is strictly prohibited. For information about 5 Mode visit http://5mode.com