bash: bashrc and files used with it