home/bashrc: be smarter when sourcing files