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