My dotfiles (as if anyone would be interested)