Reboot into another OS directly from GNOME. If using Fedora or any Arch based distro please note that the GRUB reboot option doesn't work. Use efibootmanager or systemdboot instead A expansion of https://github.com/docquantum/gnome-shell-extension-customreboot
Unfortunately, to help prevent spam, we require that you log in to GNOME Shell Extensions in order to post a comment or report an error. You understand, right?