I'd like to second the recommendation to leave it alone.

On Sat, Aug 12, 2023 at 9:56 PM Daniele B. <my2...@has.im> wrote:

>
> 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 <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.
>
>
>

-- 
Patric Conant
Mirage Computing Lead Consultant
@MirageComputing <https://twitter.com/MirageComputing>on twitter
https://m.facebook.com/MirageComputing/
316 409 2424

Reply via email to