> That said, I just noticed /usr/share/icons/ going from 0.5M to 64M.
> It's split between adwaita-icon-theme, humanity-icon-theme,
> ubuntu-mono, all pulled in transitively by fontforge (via libgdraw6
> and libgtk-3-0).  I guess we can just manually delete that
> directory?

Sounds sensible.  We only use FontForge in batch mode, thus all GUI
stuff is unnecessary.


    Werner

Reply via email to