On Aug 13 04:37:25, [email protected] wrote:
> - /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)

So you have /usr/local under the /usr filesystem.
Make /usr/local separate. Chances are that's what's
filling your /usr, which by itself is pretty small.

> - what about /usr/local/share/gir-1.0 (70M) ?

If you worry about 70MB dirs, you are wasting your time,
and everyone else's.  Just reinstall /usr/local on a separate
10GB partition and be done with it. It costs almost nothing.

> 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

Stop wasting time.

Reply via email to