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/
- Gnome 4x UI Improvements: https://extensions.gnome.org/extension/4158/gnome-40-ui-improvements/
- GSConnect: https://extensions.gnome.org/extension/1319/gsconnect/
- Input Method Panel: https://extensions.gnome.org/extension/261/kimpanel/
- Legacy (GTK3) Theme Scheme Auto Switcher: https://extensions.gnome.org/extension/4998/legacy-gtk3-theme-scheme-auto-switcher/
- Lock Keys: https://extensions.gnome.org/extension/36/lock-keys/
- Printers: https://extensions.gnome.org/extension/1218/printers/
- Quick Settings Tweaks: https://extensions.gnome.org/extension/5446/quick-settings-tweaker/
- SettingsCenter: https://extensions.gnome.org/extension/2899/settingscenter/
- VirtualBox applet: https://extensions.gnome.org/extension/1415/virtualbox-applet/
Antworte auf den Kommentar von Grauer-Magier Antwort abbrechen