Wer sich bei den installierten Extensions für die Gnome-Shell verkonfiguriert hat oder diese einfach wieder auf die Werkseinstellungen zurücksetzen möchte, hat dafür zwei Möglichkeiten, um das über die Konsole zu erledigen. Wichtig: Falls man den dconf-Editor geöffnet hat, sollte man ihn beenden, bevor man mit den nachfolgenden Schritten fortfährt, da er ansonsten beim Zurücksetzen der… Einstellungen von Gnome-Shell Extensions zurücksetzen weiterlesen
Schlagwort: Extensions
Mate Desktop für Fedora 17 oder 18?
Angestoßen durch einen Review-Request für zwei Pakete des Gnome 2 Forks Mate wird momentan diskutiert, ob man diesen Desktop in Fedora 17 oder 18 integrieren soll oder nicht. Neben einigen Befürwortern stellen jedoch einige Entwickler die Sinnhaftigkeit von Mate in Frage und verweisen darauf, das es ihrer Meinung nach sinnvoller wäre, entweder die für Mate… Mate Desktop für Fedora 17 oder 18? weiterlesen