Various tips and patterns for writing shell scripts.
The ever-so-convenient git pull isn’t really all that convenient all that often. This piece explains why not, and what to do instead.
