For the Debian installation at the command prompt enter:

sudo shutdown "now" -r

You can also use:

sudo reboot

The full file path for this command (if you needed it for specific uses) is:

sudo /sbin/reboot