Die besten Erweiterungen für die Gnome Shell
Hier eine Liste mit den nützlichsten Erweiterungen für die Gnome Shell. Um Erweiterungen herunterzuladen und zu verwalten, muss der Gnome Eweiterungs Manager installiert sein:
sudo apt install gnome-shell-extension-manager
Viele weitere Einstellmöglichkeiten bietet gnome-tweaks, das unter diesem Namen auch auf der Kommandozeile geöffnet werden kann.
Beschreibungen für die Erweiterungen finden Sie auch auf https://extensions.gnome.org/
Clipboard indicator von Tudmotu
Stellt mehrere Clipboards zur Verfügung, zwischen denen mit konfigurierbaren Tastenkombinationen umgeschaltet werden kann.
Dash to Dock von michele_g
Ein Dock für die Gnome Shell. Diese Erweiterung ermöglicht das Minimieren mittels Klick auf das Dock-Icon einer Anwendung
AppIndicator/KStatusNotifierItem support for GNOME Shell von 3v1n0
Notwendige Erweiterung, um Dropbox und andere Programme aus dem Gnome System-Tray aufrufen zu können. Ohne diese Erweiterung kann kein Menü angezeigt werden.
Printers von linux-man
Zeigt ein Druckericon mit den Druckaktivitäten und öffnet bequem die Druckerwarteschlange.
Steal my focus window von detro
Entfernt die Meldung "Windows ist bereit" und setzt das Fenster in den Fokus.
Nur für ältere Ubuntu Versionen (vor 24.04):
No Title Bar von franglais125
Entfernt die Titelleiste von maximierten Fenstern und verschiebt den Fenstertitel und die Schaltflächen auf die obere Statusseile. Eine nützliche Erweiterung, die mehr Platz auf dem Bildschirm schafft.
Sound Input & Output Device Chooser by kgshank
Ermöglicht das Auswählen aus der gewünschten Sound Ein- und Ausgänge im GnomeDock
System Monitor von Cerin (veraltet ?)
Ressourcenverbrauch anzeigen.
