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

Eric Woodward
 

I've been working on my various sites to a new DigitalOcean droplet since yesterday, and have them about /2 done. But, before I could finish them, I needed to get PHP working (so I can migrate this server).

After getting 404s on my PHP scripts and fighting w/ php-fpm / nginx for the past couple of hours, I finally found what I was missing: in my nginx config for the site, I needed to move my server root outside of the location blocks. See here: https://stackoverflow.com/a/22921150

Hallelujah!

0 stars 0 comments

Eric Woodward
 

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 ).

0 stars 0 comments