Date: Tue, 15 Feb 2000 09:46:35 +0200 (IST)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
X-Sender: eliz AT is
To: Sherlock Campbell <scampbell AT mail DOT utexas DOT edu>
cc: djgpp AT delorie DOT com
Subject: Re: pipes in bash
In-Reply-To: <4.2.0.58.20000214135709.00972ba0@mail.utexas.edu>
Message-ID: <Pine.SUN.3.91.1000215094615.23996H-100000@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Reply-To: djgpp AT delorie DOT com
Errors-To: dj-admin AT delorie DOT com
X-Mailing-List: djgpp AT delorie DOT com
X-Unsubscribes-To: listserv AT delorie DOT com
Precedence: bulk


On Mon, 14 Feb 2000, Sherlock Campbell wrote:

> What does Bash print if you type the following inside Bash:
> 
>       echo \"$TMPDIR\"
>          It prints "bash$ c:/djgpp/tmp"

This cannot be entirely accurate: the command I asked you to type had
quotes around the value of TMPDIR (to find out whether it includes
some slack whitespace).  I don't see those quotes in your citation of
what Bash printed.  Please give me the *exact* string printed by Bash.


> Also, please tell which version of Bash are you using.
>          I downloaded bsh1147b.zip and installed it.

The latest version of Bash is v2.03.  I suggest to upgrade to
bash203b.zip and see if the problem is still there.