Blog?

Atom Feed

Contents

• Add "restart into" option to GNOME 3.36 / Ubuntu 20.04
• Fast network image thumbnails in GNOME/Nautilus/Nemo
• This blog might as well be called "Clicking top-right corner of screen does not close window"
• GNOME: Clicking top-right corner of screen does not close window
• The effects of COVID-19 on band concerts
• Compiz: Clicking top-right corner of screen does not close window
• No headphone audio after system resume
• Eurocom Shark 4 (Clevo N150SD) Windows 7 install notes
• Compiz screen corruption
• Really?
• Heartbleed
• Android Maps
• Laser pointers!
• New Email
• Words That Amuse Me
• Really, spammers?
• Comments
• The Most Flexible Consonants
• Use the Force
• Mass Effect 2 Mouse Wheel
• Gigabytes Per Tablespoon
• What if I had a blog?

Home

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.

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.