While this is already covered in the first response/link .. since it is typed out again here I will also mention that to reboot one could enter the following command in TTY:
systemctl reboot