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.
namei -l ~/.config/gedit/tools
)?sudo gedit
at some point? See for example Why should users never use normal sudo to start graphical applications?/home/rick/.config/gedit
a month ago: askubuntu.com/questions/1031303/… So now it's time to follow the answer and change ownership back. If you care to read the question for reference and then post an answer here on this question, I'll upvote and accept it. Thanks :)