>>>>> "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