четверг, 23 декабря 2010 г.

Глюки панелей GNOME

Достаточно часто при загрузке гнома его панели выглядят странно - пропадают иконки, вместо одних иконок показываются другие, часто панели наезжают друг на друга.

Баг описан тут и, к сожалению, пока не разрешен.

Временным выходом из проблемы может служить перезагрузка панелей с помощью команды "killall gnome-panel"

пятница, 3 декабря 2010 г.

Словари

Заинтересовался словарями.

Оказалось, что в репозитории есть крайне удобная оболочка GoldenDict, которая поддерживает несколько форматов словарей.

Сами словари в формате DSL можно взять например тут.

Чтобы словари в DSL не занимали много места, можно упаковать их утилитой dictzip - она тажке есть в стандартном репозитории.