Assorted bash tools