This is a small Gnome extension that adds the ability to reboot directly to the UEFI.
To build the extension run the following command:
$ sh build.sh
If all goes well this will generate a zip file in the project folder.
To install the extension just run the install.sh script with the following command:
$ sh install.sh
- This extension is available in GNOME Extensions.