Pinter's dotfiles