Dotfiles My main setup, mostly copied from https://github.com/phil/dotfiles and https://github.com/DanHarper/dotfiles .