On Mar 27, 2000, Akim Demaille <[EMAIL PROTECTED]> wrote:
> I'm highly tempted to consider this a bash bug
So am I. Which `bash' is that? I've just tested 2.04, and it *does*
present the bug :-(
> I suppose we should drop the use of [] here. Pfff.
Or use `[/\\/]', which does work, even with bash 2.04.
--
Alexandre Oliva Enjoy Guaranį, see http://www.ic.unicamp.br/~oliva/
Cygnus Solutions, a Red Hat company aoliva@{redhat, cygnus}.com
Free Software Developer and Evangelist CS PhD student at IC-Unicamp
oliva@{lsd.ic.unicamp.br, gnu.org} Write to mailing lists, not to me
