Blog?

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

feed Atom Feed


Contents

Home


Valid HTML 4.01 Strict [Valid Atom 1.0]

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

July 16, 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

Installation

  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

Comments

Add comment

Name:
Email (optional):
Comment:
Human?What is the third word of the above blog post?