...
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 |