Wem das neue Standard-Theme von Gnome3 auf Dauer langweilig wird, der kann sich entweder bei Deviant Art oder Gnome-Look nach neuen Themes umschauen. Die Themes können dann entweder mit dem Gnome-Tweak-Tool installiert oder manuell nach ~/.themes entpackt werden. Letzteres hat den Vorteil, das man den Verzeichnisnamen und somit den Eintrag in der Liste der Themes… Pimp my Gnome-Shell weiterlesen