tweaked history handling in .bashrc