dotfiles These are the dotfiles I use, which I have on GitHub for convenient copying. You may feel free to clone and use my dotfiles as you please.