Take the 2-minute tour ×
Ask Ubuntu is a question and answer site for Ubuntu users and developers. It's 100% free, no registration required.

This question already has an answer here:

Respected Fellows,

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

share|improve this question

marked as duplicate by Eric Carvalho, con-f-use, hhlp, nitstorm, Javier Rivera Feb 21 '13 at 16:29

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

1 Answer 1

Pretty easy: the line you need is simply


in your case

export PATH=$PATH::/home/username/pp/bin/

the meaning should be straightforward: you're adding an entry to your PATH. you may want to add it to your shell configuration file .bashrc (or .zshrc) if you want to change just one user's PATH, and otherwise you may want to have a look at general configuration files such as /etc/profile.

share|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.