[Info-vax] HAPPY NEW YEAR

[Didier_Toulouse]

Hi Arne, what is a grep? (but an UNIX shell command)
Thanks Hans, to you too. I actually need to do a

$ search/w=(0,0) "string" [...]*.php

nothing else

(as these bl**dy stupid craps who invented php programming decided to
allow creation of different procedures with the same name in different
directories... :-( If I meet the guy who invented that kind of non-
architecture,...