removing stuff that is too specific to the machine from bashrc