Child pages
  • Gnome-Shell Extensions

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

You may browse extensions at https://extensions.gnome.org/. On the extension's description page there is a button which installs the extension automagically:

 

Tipps and Tricks:

Settings for individual extensions can be changed using the Gnome Shell Extension Preferences:

No Format
gnome-shell-extension-prefs