Ihr kennt das? Erweiterungen in der GNOME-Shell. Kein direkter Zugriff. Alle De-/Installationen von Erweiterungen über die lokale Verwaltungsseite. Nervig! Dies gehört nun dank der GNOME-Shell Extension List der Vergangenheit an. Wie der Name schon vermuten lässt, zeigt diese Erweiterungen in einem eigenen Reiter (siehe Bild) eine Liste der aktuell installierten GNOME-Shell Erweiterungen an. Viel Spaß!
Schlagwort: gnome3
Fedora 17 & Gnome: Neues Mountverhalten bei USB-Sticks und -Platten
Eine der vielen Neuerungen von Fedora 17 ist udisks2. Selbiges kommt zum Einsatz, wenn man Gnome 3.4 einsetzt. Daraus ergibt sich aber ein nennen wir es ungewohntes Verhalten beim mounten von USB-Medien. Diese werden nicht mehr, wie gewohnt, unter /media/$stick gemountet, sondern unter /run/media/$user/$stick. Für die Desktop-Benutzung hat das erst mal keine Auswirkung. Nautilus zeigt… Fedora 17 & Gnome: Neues Mountverhalten bei USB-Sticks und -Platten weiterlesen
Pimp my Gnome-Shell
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
Ultrakurztipp: Autostartprogramme festlegen
Normal hatte man alles fein in den Systemeinstellungen. Mit GNOME3 hat sich da so einiges geändert. Oft wurde ich in den letzten Tagen gefragt wo man denn nun über eine GUI seine Autostarteinstellungen festlegen könnte. Einfacher als man denkt – wenn man weiß wie! ALT + F2 drücken und gnome-session-properties eingeben. Enter. Simsalabim!