Repaired the local bashrc file, although I'm not sure it's back to the original state...?