Shell functions I use (most of which I wrote, but possibly not all).