Updating gnome-terminal settings to work with dconf
Use dconf for Caps Lock -> Control too

The previous xmodmap approach was fragile. Gdm(?) would override it when
switching between user sessions.