Robby's theme is the default one. It's not the fanciest one. It's not the simplest one. It's just the right one (for him). Once you find a theme that you want to use, you will need to edit the~/.zshrcfile. You'll see an environment variable (all caps) in there that looks...