[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [FYI] Remove $SED from basename and dirname definitions

From: Gary V . Vaughan
Subject: Re: [FYI] Remove $SED from basename and dirname definitions
Date: Fri, 13 Feb 2004 08:30:42 +0000

On 13 Feb 2004, at 07:32, Scott James Remnant wrote:
On Fri, 2004-02-13 at 07:21, Alexandre Duret-Lutz wrote:
"Ralf" == Ralf Wildenhues <address@hidden> writes:

Ralf> Just curious: should't zsh be configurable to change this behaviour?


*nods* it's SH_WORD_SPLIT iirc, but as most of these scripts get called
prefixed with $SHELL, it's probably saner (and at least more widely
compatible) for us to just stick to a saneish subset of shell where it's
this easy rather than fiddle with random shell options.

Longer term we should probably generate all of our scripts with m4sh, and use AS_SANITIZE to twiddle all the ksh and zsh options for bourne compatibility... If there is time to do that between me finishing the documentation for patch-84 and your making a patch to move TAGS into LT_INIT, then I'll see how much work that

Gary V. Vaughan      ())_.  address@hidden,}
Research Scientist   ( '/
GNU Hacker           / )=
Technical Author   `(_~)_

reply via email to

[Prev in Thread] Current Thread [Next in Thread]