Subject: Re: bash: pushd
From: Fergus Henderson <[email-masked]>
To: Joshua Rosen <[email-masked]>
Cc: [email-masked]
Date: Fri, 16 Jul 1999 15:19:19 +1000

On 15-Jul-1999, Joshua Rosen <[email-masked]> wrote:
> echo '#!'"$(type -p env) sh
> pushd foo
> "

Beware that `pushd' is a bash extension; it is, I'm pretty sure, not part
of the standard Bourne shell.  The `sh.exe' that comes with Cygwin is
`ash', not `bash', and it may not support `pushd'.

-- 
Fergus Henderson <[email-masked]>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger [email-masked]        |     -- the last words of T. S. Garp.

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