this host, instead of the less tidy grep > /dev/null. (9000/[34678]??:HP-UX:*:*): Likewise. (alpha:Linux:*:*): Likewise.