Я настроил gedit с некоторыми плагинами, но после обновления до 13.10 каждый раз, когда я захожу с плагинами gedit и пытаюсь загрузить внешние инструменты, я получаю сообщение: Failed to Load.
Не уверен, как это исправить. Попытка переустановки, но это не помогло
Я установил пакет gir1.2-gtksource-3.0, но менеджер внешних инструментов не работал, мне пришлось изменить разрешения для этого каталога:
sudo chown <username> /home/<username>/.config/gedit
Как написано здесь , попробуйте установить gir1.2-gtksource-3.0. Это сработало для меня.
sudo apt-get install gir1.2-gtksource-3.0