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
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.

- Raw text -