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

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

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

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