in your file $HOME/.bash_profile to have the variable ``PATH`` set up, each time you open a terminal. To set up the environment after editing the file, use:
in your file $HOME/.bash_profile to have the variable ``PATH`` set up, each time you open a terminal. To set up the environment after editing the file, use: