Skip to content

Micro-KB

Gnome shell extensions

March 19, 2018 by Andy Ferguson

On a machine running Gnome, browse to https://extensions.gnome.org/local/ to see the extensions you have running (and install new ones).

Ideally you want to be running vanilla Gnome to get the best out of this. sudo apt install gnome-session will give you what you need (then reboot and choose a Gnome session).

Categories Ubuntu
Shotcut
Setting up a new Ubuntu machine
© 2025 Micro-KB • Built with GeneratePress