Linux Mint 17.2 Cinnamon 64 bit
Сбой произошел во время правки нового пункта меню. В главном меню нет ни одной иконки приложений, нет ни одной категории, нет иконок быстрого доступа. Если создать нового пользователя, то у него все в порядке.
Перезагрузка не помогает.
Покопался по буржуйским форумам, нашел несколько похожих нерешенных случаев. Нашел, как запускается редактор меню:cinnamon-menu-editor
В общем, нужно искать где-то в %HOME% битые/нулевые файлы, измененные в момент появления глюка. И я его нашел. Файл нулевой длины: More…
Traceback (most recent call last):
File "/usr/bin/cinnamon-menu-editor", line 19, in
main()
File "/usr/bin/cinnamon-menu-editor", line 15, in main
app = MainWindow.MainWindow(datadir, version)
File "/usr/lib/cinnamon-menu-editor/cme/MainWindow.py", line 43, in __init__
self.editor = MenuEditor()
File "/usr/lib/cinnamon-menu-editor/cme/MenuEditor.py", line 31, in __init__
self.load()
File "/usr/lib/cinnamon-menu-editor/cme/MenuEditor.py", line 44, in load
if not self.tree.load_sync():
gi._glib.GError: Ошибка в строке 1 на символе 1: Документ был пуст или содержал только пробелы