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
)? – steeldriver Jun 09 '18 at 17:38sudo gedit
at some point? See for example Why should users never use normal sudo to start graphical applications? – steeldriver Jun 09 '18 at 18:16/home/rick/.config/gedit
a month ago: https://askubuntu.com/questions/1031303/root-owns-some-files-in-home-user-should-i-be-concerned 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 :) – WinEunuuchs2Unix Jun 09 '18 at 18:21new-tool
andnew-tool-2
on disk but that just makes them disappear from the menu and I have to rename them back. – WinEunuuchs2Unix Jun 09 '18 at 19:52