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/3780/ddterm/
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/
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/

Ein Gedanke zu „Extensions (Addons) für die gnome shell“

Schreibe einen Kommentar

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert.