In article <41b0a694$0$177$edfadb0f@dtext01.news.tele.dk>,
Peter Jensen <usenet@pekajemaps.homeip.net> wrote:
> Thorbjoern Ravn Andersen wrote:
>
> >> Nogen der vil afslører den rigtige måde?
> >
> > Det kan grep ikke, men awk og perl kan.
>
> Hvor der er en vilje er der en vej:
>
> grep -E 'time=(5[1-9]|[6789][0-9]|[0-9]{3,})'
^ ^^^^
Du antager her at der ikke er foranstillede nuller.
(ellers begynd med 0* udenfor parentes, og ret til [1-9][0-9]{2,})
> Men perl løsningen er selvfølgeligt langt mere elegant.
Det er diskutabelt.
(Er regulære udtryk ikke i en eller anden
forstand "simplere" end aritmetik?)
Men hvis værdien der skulle sammenlignes var på fx dobbelt så mange
cifre så ville udtrykket nok blive en anelse rigeligt komplekst.
-Lasse