🔍 See Original Question on Ask Ubuntu 🔗
gedit "Manage External Tools" menu option doesn't appear
June 9, 2018
Edited: June 9, 2018
November 24, 2022
Copy to clipboard: false
This is not the same question as: "Manage external tools" not popping up dialogg where the dialog box doesn’t pop-up after selecting Manage External Tools from the gedit Tools menu.
My problem is the Manage External Tools option doesn’t appear in the Tools menu at all.
I’ve checked off to use the plug-in within the Preferences sub-menu:
I’ve even quit and reloaded gedit after enabling the plug-in.
My current version is:
$ gedit --version gedit - Version 3.18.3
Does anyone know why the Manage External Tools option isn’t appearing?
$ namei -l ~/.config/gedit/tools f: /home/rick/.config/gedit/tools drwxr-xr-x root root / drwxr-xr-x root root home drwxr-xr-x rick rick rick drwx------ rick rick .config drwxr-xr-x root root gedit tools - No such file or directory
Based on steeldriver’s comment I ran:
sudo chown -cR rick:rick /home/rick
and all is well now.