Die gnome shell, dass von mir favorisierte Desktopsystem, lässt sich durch viele kleine Addons erweitern, anpassen und modifizieren.
Die von mir verwendeten sind folgende:
Lock Keys: https://extensions.gnome.org/extension/36/lock-keys/
Drop Down Terminal: https://extensions.gnome.org/extension/3780/ddterm/
Media player indicator: https://extensions.gnome.org/extension/1379/mpris-indicator-button/
Dash to Dock: https://extensions.gnome.org/extension/5004/dash-to-dock-for-cosmic/
Dash to Panel: https://extensions.gnome.org/extension/1160/dash-to-panel/
Gnome 4x UI Improvements: https://extensions.gnome.org/extension/4158/gnome-40-ui-improvements/
GSConnect: https://extensions.gnome.org/extension/1319/gsconnect/
OpenWeather: https://extensions.gnome.org/extension/750/openweather/
GameMode: https://extensions.gnome.org/extension/1852/gamemode/
Bluetooth quick connect: https://extensions.gnome.org/extension/1401/bluetooth-quick-connect/
VirtualBox applet: https://extensions.gnome.org/extension/1415/virtualbox-applet/
Printers: https://extensions.gnome.org/extension/1218/printers/
Tweaks & Extensions in System Menu: https://extensions.gnome.org/extension/1653/tweaks-in-system-menu/