I agree. The rule of thumb should be: don't change your dotfiles unless you know what you are doing. And novices definitely don't know what they are doing.But for novice students I would stay with a .txt file because it will save time to explain dotfiles concepts and avoid students problems with .bashrc.
Maxime _______________________________________________ Discuss mailing list [email protected] http://lists.software-carpentry.org/mailman/listinfo/discuss_lists.software-carpentry.org
