I enabled the "External Tools" plugin for gedit. I clicked on Tools > Manage External Tools, but it didn't pop up a dialog. It did nothing. What did I do wrong? How can I re-install this plugin?
Asked
Active
Viewed 1,803 times
2 Answers
4
Install, if it isn't already, gir1.2-gtksource-3.0 package:
sudo apt-get install gir1.2-gtksource-3.0
Then give your user ownership over GEdit configuration directory:
sudo chown YOUR_USERNAME /home/YOUR_USERNAME/.config/gedit
Open GEdit and now you should be able to use External tools plugin.
Rodrigo Oliveira
- 6,152
- 9
- 40
- 72
0
Only this was enough to solve this problem in my PC.
Then give your user ownership over GEdit configuration directory:
sudo chown YOUR_USERNAME /home/YOUR_USERNAME/.config/geditOpen GEdit and now you should be able to use External tools plugin.
Laercio Barbosa
- 1
- 2
-
The `chown` commands looks wrong... Is it possible that the `Open GEdit` belong to the next line? – Simon Sudler Sep 13 '19 at 10:31
-
Fixed! You were right. – Laercio Barbosa Sep 14 '19 at 17:36