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

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 [email-masked]

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