Antti Kantee wrote:

> don't know how to get only the number of processors without playing
> games on that output, and I don't have a multiprocessor system handy
> for figuring out what the output will look like on them.

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

ciao
     Klaus