The Cookie Machine - Click here to drag window

DUMMY TEXT - Real text set in assets/js/theCookieMachine.js

Views: 888โ€…    Votes:  3โ€…    โœ… Solution
Tags: 16.04   gedit  
Link: ๐Ÿ” See Original Question on Ask Ubuntu ๐Ÿ”—

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: November 24, 2022    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:

gedit external tools.png

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.

โ‡ง 17.10 No sound from cron jobs Which intel graphics firmware version is in use & how to change that  โ‡ฉ