Date: Sun, 1 Jul 2001 11:35:47 +0300 (IDT) From: Eli Zaretskii X-Sender: eliz AT is To: Laurynas Biveinis cc: djgpp-workers AT delorie DOT com Subject: Re: Bug & fix for Bash 2.05 In-Reply-To: <20010701103057.A389@lauras.lt> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Reply-To: djgpp-workers AT delorie DOT com Errors-To: nobody AT delorie DOT com X-Mailing-List: djgpp-workers AT delorie DOT com X-Unsubscribes-To: listserv AT delorie DOT com Precedence: bulk On Sun, 1 Jul 2001, Laurynas Biveinis wrote: > > The DJGPP configuration script could rename that file before it runs > > the main configure. > > It could, but bash also could find configure. before .com, and it > leads to reiterating the whole discussion all over again. I still don't have a clear picture of what we want to do. It looks like some of the requirements for changes posted in this thread are contradictory (e.g., the extensionless executable/script case). It would be nice to know where are we heading before coding.