Shell Function and $PATH?

[David Bovill]

How does the $PATH and the shell() function work?

That is the path as you get from:

     put $PATH

or

     put shell("echo $PATH")

does not correspond with what you get if you try the same from the  
shell. This is presumably because these are set by various bash  
scripts when a terminal starts and Rev does not do this?

OK - but how does Rev do this exactly, which $PATH does if take, and  
what happens when you set the PATH from inside Revolution - this is  
important as shelling to programs does not work unless they are on  
the PATH.