IT-MÜCKE

Ubuntu 11.10: Gnome3 Shell Extensions installieren

Beitragsdatum 04.11.2011
Letzte Aktualisierung 02.11.2016
Betrifft Ubuntu 11.10 und andere, Gnome3

Um unter Ubuntu 11.10 in Gnome3 die Shell Extensions nutzen zu können, muss man folgendes durchführen:

  • Gnome Tweak Tool installieren:
    sudo apt-get install gnome-tweak-tool
  • Paketquelle hinzufügen und neu laden:
    sudo add-apt-repository ppa:ferramroberto/gnome3
    $ sudo apt-get update
  • Gewünschte Shell-Extensions hinzufügen:
    # sudo apt-get install [extension paket]
    # z.B.:
    sudo apt-get install gnome-shell-extensions-alternative-status-menu
  • Shell-Extension aktivieren:
    • Dazu das Gnome Tweak Tool starten (in den Anwendungen zu finden unter „Erweitere Einstellungen“ oder in dem man nach „tweak“ sucht).
    • Dort unter „Shell-Erweiterungen“ entsprechend die Erweiterung aktivieren.

Damit kann nun das Verhalten von Gnome3 sehr infividuell angepasst werden.

Eine Liste mit Shell-Extensions findet man hier.


zurück