Technical Staff Blog

Last update on .

All linux desktop machines will be rebooted this Tuesday, October 25th, at 5:00am. 

Please save your work before that time. If you wish to reboot before Tuesday, you may run the command:


to see if your machine is ready to reboot. If it is, ask a tstaffer to do it (by mailing problem AT or press ctrl+alt+f1 and the ctrl+alt+del, to reboot immediately.

Machines that are manually rebooted before Tuesday will NOT reboot again on Tuesday. As always, if you have any comments or concerns please email them to problem AT