Skip to main content
 

Belgium! Since I was feeling better today, I spent the day updating my woefully out of date website. Then, with just 1 section to go, I ran out of time. ☚ī¸

Oh, well. Maybe tomorrow...

 

My daughter has a friend over, and they are currently in the living room playing on the , and livestreaming to an audience of 3 of their friends.

Oh, what we live in.

 

Thanks to the miracle that is the Internet Archive Wayback Machine, I was able to find this: a comprehensive list of all of the music videos played during the original run of MTV's excellent electronic music show, "AMP". https://web.archive.org/web/20130626041130/http://my.execpc.com/~danperry/mus/amp.html

 
 

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

 

Just introduced a co-worker to the CTRL + scroll wheel shortcut to zoom in and out of most application screens in Windows (and Linux).

His mind was blown, so I think my work here is done.

 

screwed people over in its latest "pivot"?

Must be Thursday.

 

👍 Google goes for the wow at I/O, but what about privacy? | CNET (@richardjnieva, @jdolcourt) https://www.cnet.com/news/google-goes-for-the-wow-at-io-2018-but-what-about-privacy-ai-virtual-assistant/
Asking Google "what about privacy" is like asking Iceman if he's "tried not being a mutant".

 

👍 Biggest Test Yet Shows Einstein Was Wrong About 'Spooky Action at a Distance' | LiveSceince (@LaMinda) https://www.livescience.com/62523-physicists-crowdsource-a-reality-check.html
I hate that I missed this: the chance to be part of a large-scale quantum mechanics experiment, just by *playing a game*!

 

you're folding laundry and pull out a pair of your son's socks, still bundled together from the last time you folded them.