Added stuff for managing the bash history