Tools: Terminal

The first post in a short series on the tools I use every day. My terminal setup has gotten smaller every year: one shell, a handful of aliases, a prompt that shows only what I need. Here is the whole config, and the reasoning behind each thing I removed.