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:
at the end of 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: