added options to bash history search