Skip to main content

Geek, coder, gamer, tinkerer, husband, father, system admin, web developer, and American cyborg, though not necessarily in that order. Creator of Mythic Wars (card game).

itsericwoodward.com

mythicwarsgame.com

git.itsericwoodward.com/eric

social.wonderdome.net/users/eric

github.com/itsericwoodward

boardgamegeek.com/user/EricPlaysGames

hey@itsericwoodward.com

 

that `journalctl` has it's own clean-up flags (`--vacuum-size=BYTES`, `--vacuum-files=INT`, `--vacuum-time=TIME`). after using them, I cut the WonderDome's journal storage space in a third (and made it way faster when parsing the logs).

HT https://askubuntu.com/questions/1012912/systemd-logs-journalctl-are-too-large-and-slow

 

Fixing Gedit

2 min read

I tend to use [Atom](https://atom.io/) 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](https://www.jwz.org/doc/tabs-vs-spaces.html)), 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 ).

 

Reading about all of the troubles people are having with Windows 10 just makes me appreciate even more.

 

My new laptop doesn't seem to like CentOS 7 very much, so I guess it's back to Ubuntu. Oh, well.