adjustments to bash history