I'm not sure what level of sophistication we're expecting from users. Do we want to remind them to run ``source ~/.bashrc``?