Sodamhan.com

TL;DR

systemctl reboot

Reboot the system. More information: https://www.freedesktop.org/software/systemd/man/systemctl.html#reboot.

  • Reboot the system:

systemctl reboot

  • Reboot into the BIOS/UEFI menu:

systemctl reboot --firmware-setup

This document was created using the contents of the tldr project.