How to wake up a desktop machine that is asleep

The departmental desktop machines are part of a green IT system that shuts the machines down at certain times of the day if they are not in use.

If you wish to use a machine that is off then you need to wake it up as follows:

If you are at the machine, simply press the power button and wait a minute or so for it to boot up.

If you are remote from the machine, either:

Log into the departmental website, visit the Machines page, find the relevant machine in a list and click the Wake Up link; or
Use the wake hostname command on any departmental Linux machine, such as gate (e.g. the command wake mr-bump would wake up the machine called "mr-bump").

Either way, the machine will come on remotely and take about a minute to boot up, after which you should be able to connect to it.