Ask Ubuntu is a question and answer site for Ubuntu users and developers. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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, Nitin Venkatesh, Javier Rivera Feb 21 '13 at 16:29

This question was marked as an exact duplicate of an existing question.

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.