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

[Ralf Wildenhues]

* Alexandre Duret-Lutz wrote on Fri, Feb 13, 2004 at 08:21:54AM CET:
> >>> "Ralf" == Ralf Wildenhues <address@hidden> writes:
> 
>  Ralf> Just curious: should't zsh be configurable to change this behaviour?
> 
> Yes it is.  See _AS_BOURNE_COMPATIBLE.

Then that would IMHO be a cleaner way than changing $basename at all.
(I'd suggest a patch, but my papers are still on their way, and this
system's ssh/cvs combo does not work with the savannah CVS repo).

Regards,
Ralf