echo 'export PATH="$HOME/.cabal/bin:$PATH"' >> ~/.bash_profile
-Then I exited the Terminal and started a new Terminal session. Now if I type `echo $PATH` I should see the directory I just added in the list. Now I can contine setting up Cabal. I next type:
+Some instructions may say to use `.bashrc` instead of `.bash_profile`. These files do similar jobs.
+
+After issuing the relevant `echo` command, I exited the Terminal and started a new Terminal session. Now if I type `echo $PATH` I should see the directory I just added in the list. Now I can contine setting up Cabal. I next type:
cabal install alex happy