.bashrc tweaks for Vagrant user