Я включил плагин «Внешние инструменты» для gedit. Я щелкнул Инструменты> Управление внешними инструментами, но диалоговое окно не появилось. Ничего не сделал Что я сделал не так? Как я могу переустановить этот плагин?
Установка, если это уже не, gir1.2-gtksource-3.0
пакет:
sudo apt-get install gir1.2-gtksource-3.0
Тогда дают Ваше пользовательское владение по каталогу конфигурации GEdit:
sudo chown YOUR_USERNAME /home/YOUR_USERNAME/.config/gedit
Открывают GEdit, и теперь необходимо быть в состоянии использовать плагин инструментов External.
Только этого было достаточно для решения этой проблемы в моем ПК.
Затем дают Ваше пользовательское владение по каталогу конфигурации GEdit:
sudo chown YOUR_USERNAME /home/YOUR_USERNAME/.config/gedit
Открывают GEdit, и теперь необходимо смочь использовать плагин инструментов External.