> "Playing games" with grep or wc is perfectly acceptable. I just discovered
> that /proc/cpuinfo differs significantly between Debian on x86/ia64  and
> Alpha. But that's Linux for you...

it might also depend on the Linux kernel version

-- 
Georg Schwarz    http://home.pages.de/~schwarz/
 geos@epost.de     +49 177 8811442