Hi David,
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 te
On 2/3/06 4:42 PM, "David Bovill" <[EMAIL PROTECTED]> wrote:
> 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 presumabl
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 start
