Update 2014-12-22-how-to-reload-bash-profile-from-the-command-line