havepatch: new script to easily check if a mailed patch is applied Right now this only works on the hg repo, and it assumes the patch was applied as a descendant of 3.5 to keep the checks quick. In a perfect world I'd be able to do this all with obsolete marker checks, but that doesn't seem to be a good option yet.

#!/bin/sh
echo 'gtk-key-theme-name = "Emacs"' >>~/.gtkrc-2.0
gconftool -t string --set /desktop/gnome/interface/gtk_key_theme Emacs