Original and customised versions of .bashrc