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:
- Bluetooth quick connect: https://extensions.gnome.org/extension/1401/bluetooth-quick-connect/
- Caffeine: https://extensions.gnome.org/extension/517/caffeine/
- Dash to Dock: https://extensions.gnome.org/extension/307/dash-to-dock/
- Dash to Panel: https://extensions.gnome.org/extension/1160/dash-to-panel/
- Drop Down Terminal: https://extensions.gnome.org/extension/3780/ddterm/
- Extension List: https://extensions.gnome.org/extension/3088/extension-list/
- Gnome 4x UI Improvements: https://extensions.gnome.org/extension/4158/gnome-40-ui-improvements/
- GSConnect: https://extensions.gnome.org/extension/1319/gsconnect/
- Lock Keys: https://extensions.gnome.org/extension/36/lock-keys/
- Media Progress Bar: https://extensions.gnome.org/extension/6940/media-progress/
- Quick Settings Tweaker: https://extensions.gnome.org/extension/5446/quick-settings-tweaker/
- Screenshot Window Sizer: https://extensions.gnome.org/extension/881/screenshot-window-sizer/
- SettingsCenter: https://extensions.gnome.org/extension/2899/settingscenter/
- Vertical Workspaces: https://extensions.gnome.org/extension/5177/vertical-workspaces/
- VirtualBox applet: https://extensions.gnome.org/extension/1415/virtualbox-applet/