a few bashrc tweaks