Я включил плагин "External Tools" для gedit. Я нажал на Tools > Manage External Tools, но диалоговое окно не появилось. Это ничего не дало. Что я сделал не так? Как мне переустановить этот плагин?
решение1
Установите, если это еще не сделано, 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, и теперь вы сможете использовать плагин «Внешние инструменты».
решение2
Только этого оказалось достаточно, чтобы решить проблему на моем ПК.
Затем предоставьте своему пользователю право собственности на каталог конфигурации GEdit:
sudo chown YOUR_USERNAME /home/YOUR_USERNAME/.config/gedit
Откройте GEdit, и теперь вы сможете использовать плагин «Внешние инструменты».