nova1545 / gnome-shell-extension-customreboot Goto Github PK
View Code? Open in Web Editor NEWA 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.
License: GNU General Public License v3.0