Subject: Re: bash: pushd
From: Brendan Simon <[email-masked]>
To: Hans GINZEL <[email-masked]>
Cc: [email-masked]
Date: Fri, 16 Jul 1999 11:58:42 +1000

Hans GINZEL wrote:

> > It seems that pushd is not in the path when you run your script.
> > Try putting "echo $PATH" in your script to see what the path is set to
> > when the script is exectued.
>
>    Thank you, but pushd and popd are internal bash commands.

Oh, if only you could all see me blushing.
Brendan.

--
Want to unsubscribe from this list?
Send a message to [email-masked]