Pedro's dotfiles