It's kind of a blog if you don't think about it too hard

feed Atom Feed



Valid HTML 4.01 Strict [Valid Atom 1.0]

Add "restart into" option to GNOME 3.36 / Ubuntu 20.04

July 15, 2021

I recently hacked together a GNOME shell extension to allow selecting an alternate operating system when rebooting, so I don't have to wait around for the system boot menu to appear. And because I wanted to learn how GNOME shell extensions work.

Restart dialog


  1. Download the extension and extract it to ~/.local/share/gnome-shell/extensions/
  2. Restart GNOME by pressing Alt+F2, then typing r.
  3. Activate the "Restart into..." extension in the GNOME settings.
  4. Open the extension's settings and choose your secondary boot entry, and enter the text that should appear on the button.

Restart dialog


Add comment

Email (optional):
Human?What is the sixth word of the above blog post?