¿Cuantos CPUs tengo?

Hay diversas maneras de hacerlo. La evidente es mirando el Monitor del sistema:

Pero si lo queremos hacer por comandos se me ocurre una que puede resultar sencilla:

for i in `cat /proc/interrupts | grep CPU`; do a=$(($a+1));done; echo $a; unset a

Si hicieramos simplemente :

cat /proc/interrupts | grep CPU

ya veríamos cuantas, pero no nos pondría el número como con lo del for.