Views:
1,025
Votes: 3
✅ Solution
Tags:
16.04
gedit
Link:
🔍 See Original Question on Ask Ubuntu ⧉ 🔗
URL:
https://askubuntu.com/q/1045114
Title:
gedit "Manage External Tools" menu option doesn't appear
ID:
/2018/06/09/gedit-_Manage-External-Tools_-menu-option-doesn_t-appear
Created:
June 9, 2018
Edited: June 9, 2018
Upload:
April 8, 2024
Layout: post
TOC:
false
Navigation: false
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?
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.