preserve history across bash shells, remove debian_chroot, and use $HOME