Skip to main content

Geek, coder, gamer, tinkerer, husband, father, and suburban cyborg, though not necessarily in that order. Creator of Mythic Wars (card game). Employed by AT&T (but doesn't speak for them).

itsericwoodward.com

mythicwarsgame.com

github.com/itsericwoodward

boardgamegeek.com/user/EricPlaysGames

toot.cafe/@itsericwoodward

hey@itsericwoodward.com

 

Fixing Gedit

2 min read

I tend to use Atom when I'm working on code, but given the choice, I prefer to use more basic text editors when I'm just making / re-reading notes (something I do alot).

In my laptop's previous life, it had a runaway memory issue with that made it impossible to use, but since upgrading to 18.04, I haven't had any troubles with it, so it's been my default text editor once again.

Unfortunately, one issue I've continued to run into is that, no matter how many times I adjust the editor settings in the GUI (for tab size, auto-indent, and use-spaces-for-tabs-goddammit), those changes are lost on reboot.

So, this time, rather than making the same futile changes in the application, I decided to use (what I think are) the commands to permanently change those settings.

If you're having the same problems, type this in your shell of choice (ENTER after each one):

gsettings set org.gnome.gedit.preferences.editor tabs-size 2
gsettings set org.gnome.gedit.preferences.editor auto-indent true
gsettings set org.gnome.gedit.preferences.editor insert-spaces true

I've rebooted the machine since I put these commands in, and so far, so good. Of course, this may change by the next LTS release, but these settings should keep my happy for the next couple of years, at least (and I'm posting it here primarily as a ).