It's kind of a blog if you don't think about it too hard
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.
Alt+F2, then typing