Re: bash: pushd

[Brendan Simon <brendan@dgs.monash.edu.au>]

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.

Brendan Simon.

Hans GINZEL wrote:

>         Hello!
>
>    Why is not possible to use  pushd  in bash scripts?
>
>    Try this session:
>
>         $ mkdir temp
>         $ echo "pushd temp" >a
>         $ ./a
>         pushd: not found
>         $ pushd temp
>         /temp /
>         $ rmdir temp
>         $ rm a
>
>                                                 Hans
>
> --
> Want to unsubscribe from this list?
> Send a message to cygwin-unsubscribe@sourceware.cygnus.com


--
Want to unsubscribe from this list?
Send a message to cygwin-unsubscribe@sourceware.cygnus.com