bash: pushd

[Brendan Simon]

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 cygwin-unsubscribe@sourceware.cygnus.com