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

issues

Newest
Newest Most commented Recently updated Oldest Least commented Least recently updated