Date: Sun, 17 Jan 1999 12:21:55 +0200 (IST)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
X-Sender: eliz AT is
To: "Mark E." <snowball3 AT usa DOT net>
cc: djgpp-workers AT delorie DOT com
Subject: Re: patch for bash maintainer
In-Reply-To: <199901152059.UAA111098@out4.ibm.net>
Message-ID: <Pine.SUN.3.91.990117122125.278W-100000@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Reply-To: djgpp-workers AT delorie DOT com


On Fri, 15 Jan 1999, Mark E. wrote:

> The attached patch fixes the builtin command exec so a search for 
> '/bin/sh' finds '/bin/sh.exe'.

IMHO, this is not enough.  We don't want to force users to have a /bin
directory on each drive, and we don't want to force them to have
sh.exe in /bin.

Why not make Bash look along the PATH for sh.EXT (where EXT is any
excutable extension)?  After all, that is what DJGPP does when it sees
#!/bin/sh in a script, so we might as well opt for uniformity here.