The Cookie Machine - Click here to drag window

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

If you can read me, I'm broken!

Views: 975     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: September 20, 2023    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  â‡©