GNOME-Shell: Mein Lieblings-Theme

MitTheme

Ich benutze nun schon seit einiger Zeit hauptsächlich die GNOME-Shell als Desktopumgebung und bin sehr zufrieden damit. Allerdings muss ich gestehen, dass ich die GNOME-Shell im Standarddesign ziemlich hässlich finde – schön ist auf jeden Fall anders. Allerdings gibt es auch für die GNOME-Shell, wie für jede Desktopumgebung, wunderschöne Themes zum kostenlosen Download. Meine erste Quelle für solche Themes ist DeviantArt, eine Community für Designer, wo die eigenen Werke vorgestellt und zum Download angeboten werden können. Dort sind wirklich viele [...] weiterlesen »

GNOME-Shell: Seit Update Global-Menu hinter dem Panel

Global-Menu hinter GNOME-Shell

Nachdem ich gestern sowohl auf meinem Notebook als auch auf meinem Desktop-PC mehrere Updates installiert habe (ich muss zugeben, ich hing ein wenig hinterher), hatte ich auf beiden Systemen plötzlich das von Unity bekannte Global-Menu hinter dem Panel der GNOME-Shell (das Global-Menu war nicht anklickbar). Dadurch war zwar die Funktion des Desktops nicht weiter beeinträchtigt, wohl aber der optische Eindruck. Aus diesem Grund gab es nur eine Lösung für mich: Das Global-Menu muss weg.

Die fünf besten Extensions für die GNOME-Shell

ExtensionMusic

Ich bin seit einiger Zeit bekennender Fan der GNOME-Shell, weil mir einfach das ganze Konzept sehr gut gefällt. Vor gar nicht allzu langer Zeit berichtete ich hier im Blog darüber, dass es nun eine offizielle Website mit Extension für die GNOME-Shell gibt. Der Clou an der Sache ist, dass die Installation mit lediglich zwei Klicks von Statten geht. Nach rund zwei Monaten haben sich nun fünf Extension herauskristalisiert, die ich keinesfalls mehr missen möchte. Eben diese fünf Extension möchte ich [...] weiterlesen »

GNOME-Shell: Extensions mit zwei Klicks installieren

Auswahl_012

Schon seit längerem ist es möglich, die GNOME-Shell durch sogenannte Extension (zu deutsch: Erweiterungen) im Funktionsumfang auszubauen. Bislang war eine relativ schwierige Prozedur vonnöten, um diese zu installieren. Seit kurzem gibt es nun eine zentrale Anlaufstelle für die GNOME-Shell Extensions. Auf extensions.gnome.org können Anwender nun mit nur zwei Klicks neue Extensions installieren, mit einem Klick deaktivieren oder aktivieren und auch mit einem Klick wieder entfernen. Die einzige große Einschränkung ist momentan noch, dass die Website nur mit Browsern funktioniert, die [...] weiterlesen »