This is not the same question as: "Manage external tools" not popping up dialog 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?
Results of namei:
$ 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.
