fix bash history setting