I got mad at gnome-terminal today. It wasn’t opening links. So, as usual, GNOME hid the setting away somewhere completely insane.
.gconf/desktop/gnome/url-handlers/http
Why isn’t there just a .gnome-terminalrc? How hard would that be?
I couldn’t update tor in Ubuntu because it freaked out when I didn’t have a /var/run/tor directory. Even after creating the directory, it still freaked out. I ended up using the method in this post to fix the problem.
Here’s my resultant /var/lib/dpkg/info/tor.prerm:
#!/bin/sh
set -e
# Automatically added by dh_installinit
#if [ -x "/etc/init.d/tor" ]; then
# if [ -x "`which invoke-rc.d 2>/dev/null`" ]; then
# invoke-rc.d tor stop || exit $?
# else
# /etc/init.d/tor stop || exit $?
# fi
#fi
# End automatically added section
Just comment it all out and do this:
sudo apt-get remove --force-yes tor
Voila!
So I found that my super key was not a modifier key in GNOME today, but rather a standalone key. THis was unacceptable. To change it, I did this:
System -> Preferences -> Keyboard -> Layout Options -> Alt/Win Key Behavior -> Super is mapped to Win-Keys
Now, I can change my shortcuts to not be stupid.
As seen here:
Option "XkbOptions" "ctrl:nocaps"
Horray. Awesomeness. Changes the caps lock key to a control key in Linux via xorg.conf.
