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:

Lock Keys: https://extensions.gnome.org/extension/36/lock-keys/
Drop Down Terminal: https://extensions.gnome.org/extension/1509/drop-down-terminal-x/
WindowOverlay Icons: https://extensions.gnome.org/extension/302/windowoverlay-icons/
Media player indicator: https://extensions.gnome.org/extension/1379/mpris-indicator-button/
Dash to Dock: https://extensions.gnome.org/extension/307/dash-to-dock/
Dash to Panel: https://extensions.gnome.org/extension/1160/dash-to-panel/
GSConnect: https://extensions.gnome.org/extension/1319/gsconnect/
OpenWeather: https://extensions.gnome.org/extension/750/openweather/
Tweaks in System Menu: https://extensions.gnome.org/extension/1653/tweaks-in-system-menu/
GameMode: https://extensions.gnome.org/extension/1852/gamemode/
Extensions: https://extensions.gnome.org/extension/1036/extensions/