Screen resolution

GDM doesn't like to play nice with /etc/X11/xorg.conf . It insists on using a different resolution, which is annoying when one doesn't want to use the Gnome control center. Enter xrandr:

xrandr --output VGA --mode 1280x1024

Now all I have to figure out is how to re-enable the laptop screen with the external monitor plugged in.