My dotfiles, and a python script to install them