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.
~/.local/share/gnome-shell/extensions/
Alt+F2
, then typing r
.
Comments
Add comment
Anthony Blanthony
June 18, 2023 6:27AM
BlackBillHawk
August 24, 2024 1:51PM
I'm using Ubuntu 20.04.4 LTS dual booted with Windows 11 23H2
I really need that functionality your extension provides, i have been looking for something like it since months