wget или curl для загрузки шрифтов ubuntu?

У меня была такая же проблема на моем Thinkpad x120e после новой установки ubuntu-14.04-desktop-amd64 (64-разрядный Ubuntu).

Для меня работала установка 32-разрядной версии рабочего стола 14.04. По крайней мере, стоит сделать это, и это не займет много времени.

Надеюсь, это поможет!