Shell convenience tools, mostly bash.