gedit is the default editor of GNOME, how do I change it?
I modified the file /etc/gnome/defaults.list, then rebooted the system, and it works.
-
Right click on any text file > Properties > Open with – don_crissti May 27 '16 at 14:39
-
This just changes the one type file format but not all other formats. – tmpbin May 27 '16 at 14:44
-
There is no default editor in gnome, this is a matter of file type/mime type associations so yes, if you want it for several formats you'll have to override that via config files – don_crissti May 27 '16 at 14:49
Right click on the text file you want to open, choose Properties and then Open with. You should find the various alternatives in the Recommended Software or Other Applications lists. Click the one you want and then the "Set as Default" button.
That's Ubuntu 16.04, Gnome version 3.18.2.
-
-
Not sure how to check the version of gnome that I'm running, but it's there in Ubuntu 16.04. In Ubuntu Mate 18.04, it's just a radio button to select the default. I suspect you're got to have some relatively accessible means to set it. – Diagon Aug 26 '20 at 20:51
-
See 'about' in the Gnome settings or open
/usr/share/gnome/gnome-version.xmlin a text editor. Could you update your answer with a screenshot (always helpful with GUI-related instructions!)? – user598527 Aug 27 '20 at 10:46 -
-
1Thank you. I'll create a new question later as that option appears to be missing with newer versions. – user598527 Aug 29 '20 at 12:30
