“Whatever the cause, the bug disrupted the Saturday evenings of many a system administrator. On the Time-Nuts mailing list, one admin reported spending the evening rebooting hundreds of servers.”
If you ever need to reboot hundreds of GNU/Linux servers, please have sshd running on them and have a list…
for f in able baker charlie delta echo fox;do ssh root@$f "shutdown -r now"&exit
will do the trick. Be sure you have passwordless login as root enabled by distributing the public key for root to all the machines. Your controlling machine will start 2N processes (one on your machine and one on the target) that connect between machines and reboot the targets. After a decent interval you can run another similar script to check that everyone is up again.
for f in able baker charlie delta echo fox;do ping -c 1 $f $2> /dev/null||echo $f unreachable;done What could be simpler? You get the evening off. Isn’t GNU/Linux grand?
I recommend Debian GNU/Linux. It works for you.