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.  


Reply via email to