A shell history utility for bash