The $PATH part is important as it appends the existing PATH to preserve it in the new value.
Step 4: Save the .bash_profile file and Quit (Command + Q) Text Edit. This loads the values immediately without having to reboot.
The recommended way is by editing your .bash_profile file.
This file is read and the commands in it executed by Bash every time you log in to the system.
Math Works Machine Translation The automated translation of this page is provided by a general purpose third party translator tool.
Math Works does not warrant, and disclaims all liability for, the accuracy, suitability, or fitness for purpose of the translation.