search

Nova1545 / gnome-shell-extension-customreboot

A gnome-shell extension to add a "Custom Restart..." option to the shell system panel that allows you to choose what OS you want to boot into, after which it triggers the typical end session dialog for restart.
GNU General Public License v3.0
10 stars 5 forks source link

Remove Grub Timeout #5

Closed MehulKhanna closed 1 year ago

MehulKhanna commented 1 year ago

Can you make the extension remove the Grub Timeout while rebooting into another OS? So we don't have to wait a few seconds before booting into the OS that we already selected through the extension. It would have to be removed only for the next boot just like how the default OS is selected by the extension.

Nova1545 commented 1 year ago

So I didn't think this was possible at all, seems I was wrong. The next release of the extension will be able to skip the grub timeout meaning quick reboots (Hurray!). I will close this issue once I release the next version

Nova1545 commented 1 year ago

Relevant commit if you wanna check it out before the proper release 5cb34f3