Menno,
PATH is a unix thing, and there are two ways to set it - well, one way to set it, and you can do it in a few (two of which are 'standard') .......
the command is
export PATH="/extra/path/here:$PATH"
(which prepends "/extra/path/here" to the existing variable...)
Now, the UNIX path is set when you open your shell, by bash commands run in any of these places...
/etc/profile - System wide, shared profile
~/.bashrc
~/.bash_profile
If you put that command in either of the latter two places, it is set just for your user, just when you open a shell, if you set it system wide.. then that is preferable.
The path can, I believe be set some other how.... but I've never known how (would like too) - I have attached a link below, with an example.
My preference ( and the only sane way! ) is to set things like that in /etc/profile - so all your systems users benefit.
It is worth noting, that when using `sudo su` to switch users, when you change to the target user, you do not get that users path, unless you append a minus sign.. `sudo su -` - I do not know why this is the case, but is a common frustration for me, perhaps someone can clarify!
Further reading here: (he shows a slightly different syntax, and explains setenv)
-- Lee Hambley