>>>>> "Akim" == Akim Demaille <[EMAIL PROTECTED]> writes:

Akim> Indeed, but I bet anchors cannot portably be embedded in
Akim> alternations.

I was probably too pessimistic, 

> echo "toto" | egrep -e 'bar|^toto$'
toto
> uname -a
IRIX pulsar 6.3 12161207 IP32

bash$ echo "toto" | egrep -e 'bar|^toto$'
toto
bash$ uname -a
krypton krypton 4_52 UMIPS mips

(akim@guiscar 1)echo "toto" | egrep -e 'bar|^toto$'
toto
(akim@guiscar 2)uname -a
OSF1 guiscar V4.0 564 alpha

esmeralda ~ $ echo "toto" | egrep -e 'bar|^toto$'
toto
esmeralda ~ $ uname -a
SunOS esmeralda 5.7 Generic_106541-04 sun4u sparc

ondine ~ $ echo "toto" | egrep -e 'bar|^toto$'                            10:57
toto
ondine ~ $ uname -a                                                       10:57
SunOS ondine 4.1.3 2 sun4m unknown

$ echo "toto" | egrep -e 'bar|^toto$'
toto
$ uname -a
HP-UX duke B.10.20 A 9000/710 2008008274 two-user license

and, what a surprise :)...

~ % echo "toto" | egrep -e 'bar|^toto$'                          nostromo 10:57
toto
~ % uname -a                                                     nostromo 10:57
Linux nostromo 2.2.14 #1 Thu Jan 13 05:18:09 MST 2000 i686 unknown



Let's go for it.

        Akim

Reply via email to