GRUB Reboot

by patriziobruno | 57112 downloads

This extension integrates GNOME Shell with GRUB to reboot

Extension Homepage

Your opinion

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?

User Reviews

Loading reviews…