This question already has an answer here:
- How to add a directory to my path? 15 answers
I am using a formal verification tool ProofPower in Ubuntu 12.04, but i don't that how can i set a PATH or environment variables in Ubuntu 12.04.
My ProofPower bin path is : /home/username/pp/bin/
Thanks in advance