Miscellaneous bash tools.