A set of very opinionated dotfiles for my own use