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