Оболочка гнома, сломанная MenuLibre

Я использовал MenuLibre для создания панели запуска приложений, и после редактирования и сохранения его несколько раз, gnome-shell (3.10) мгновенно зависал. Он не будет перезапущен; перезагрузка и вход снова просто приводит к появлению пустого экрана. Как ни странно, это не имеет ничего общего с (не) оскорбительным файлом.desktop, так как удаление его с помощью виртуального терминала не решает проблему. Я также попытался удалить папку gnome-shell в.local и папку кэша сеанса в ~/.cache .

Эта проблема уже случалась ранее в точно такой же ситуации (с использованием MenuLibre и gnome-shell), поэтому нет никакой неопределенности относительно того, что MenuLibre является причиной.

Я понятия не имею, как получить доступ к журналу ошибок gnome, поэтому я прошу помощи в определении проблемы и восстановлении пригодного для использования сеанса.