Gnome-Shell Extensions

Via Debian Packages

Installing the Shell-extension package from the debian repository. This installs some Gnome Extentions which are sanctioned by Debian

Activate shell extensions using the Gnome Tweak Tool, which is available in the Applications menu as "Advanced Settings". If you don't have it installed, you can do so with

Manually from the Gnome Project Website:

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

Open

Tipps and Tricks:

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