installing this on Ubuntu 20.04 causes the extension to fail.

patriziobruno / grubreboot-gnome-shell-extension

gnome-shell extension to add a "Reboot" button to the end-session-dialog, that runs grub-reboot before restart

GNU General Public License v3.0

22 stars 8 forks source link

installing this on Ubuntu 20.04 causes the extension to fail. #20

Open Bavarianph opened 4 years ago

Bavarianph commented 4 years ago

installing this on Ubuntu 20.04 causes the extension to fail. It writes the "Restart to ..." But goes back to the default grub setting of Ubuntu kernel reboot. the extension says: ERROR