Die gnome-shell, dass von mir favorisierte Desktopsystem (DE = Desktop Environment), lässt sich durch viele kleine Addons erweitern, anpassen und modifizieren, zusätzlich zu den Addons die es schon mitbringt wie „Auto Move Windows, Places Status Indicator, Removable Drive Menu, Screenshot Window Sizer, User Themes und Workspace Indicator“.
Die von mir verwendeten sind folgende:
- AppIndicator and KStatusNotifierItem Support: https://extensions.gnome.org/extension/615/appindicator-support/
- 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/
- Dynamic Music Pill: https://extensions.gnome.org/extension/9334/dynamic-music-pill/
- Extension List: https://extensions.gnome.org/extension/3088/extension-list/
- GameMode Shell Extension: https://extensions.gnome.org/extension/7074/gamemode-shell-extension/
- GSConnect: https://extensions.gnome.org/extension/1319/gsconnect/
- Input Method Panel: https://extensions.gnome.org/extension/261/kimpanel/
- Lock Keys: https://extensions.gnome.org/extension/36/lock-keys/
- Printers: https://extensions.gnome.org/extension/1218/printers/
- SettingsCenter: https://extensions.gnome.org/extension/2899/settingscenter/
- VirtualBox applet: https://extensions.gnome.org/extension/1415/virtualbox-applet/
Schreibe einen Kommentar