Extensions (Addons) für die gnome shell

Die gnome shell, dass von mir favorisierte Desktopsystem, lässt sich durch viele kleine Addons erweitern, anpassen und modifizieren.

Die von mir verwendeten sind:

Caffeine: https://extensions.gnome.org/extension/517/caffeine/
Drop Down Terminal: https://extensions.gnome.org/extension/442/drop-down-terminal/
WindowOverlay Icons: https://extensions.gnome.org/extension/302/windowoverlay-icons/
Media player indicator: https://extensions.gnome.org/extension/55/media-player-indicator/
Lock Keys: https://extensions.gnome.org/extension/36/lock-keys/
TopIcons: https://extensions.gnome.org/extension/495/topicons/
Dash to Dock: https://extensions.gnome.org/extension/307/dash-to-dock/
Taskbar: https://extensions.gnome.org/extension/584/taskbar/

Ebenso ist dies hier eine sehr praktische interessante Sache: https://www.omgubuntu.co.uk/2017/08/kde-connect-gnome-extension