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
systemdBoot.js tries to switch boot entry with GRUB #9
There are several errors in systemdBoot.js
Firstly Title and ID has been switched around in
bootOptions.set
So titles becomes IDs and IDs become titles.But then once that is fixed the code to find the default boot option fails because that also has switched them around.
Secondly
SetBootOption
runs/usr/sbin/grub-reboot
So it definitely doesn't work.
I'm going to make a pull request that fixes this and makes systemd-boot finally work.