[plug] Questions for information

[Richard]

On Sunday 05 May 2002 2:35 pm, Richard Henry wrote:
> > Many thanks for the ./ tip, the . was not in my path. Where
> > are all of a
> > user's environment variables kept? (to edit path etc)
> >
> > Richard
>
> Depends on your shell - they'll probably be stored in a hidden file in your
> home dir.  If you use bash, it'll be in a file called .bash_profile (and
> .bashrc).  It may be set in /etc/profile too (generic environment vars
> usually set there).
>
> If you edit your path, its safest to do it like this (under bash anyway):
>
> 	PATH=$PATH:/my/additional/path
> 	export PATH
>
> That way you don't overwrite whatever was there before.
>
> Rich.

Problem solvered. I must say, the quality of service at this educational 
institution is excellent :)