My dotfiles These are the dotfiles I currently use. They can be installed with the manage-dotfiles.py script, created by @arp242.