$ sudo reboot_

// tagged

raspberry-pi