Jetzt ist es mir schon zum zweiten Mal passiert in den letzten Monaten: Eine Gnome-Extension meldet dass es dafür ein Update gibt. Ich klicke drauf um es zu installieren - einen Moment warten und ERROR - fertig!
Von dem Moment an ist die Extension natürlich nicht mehr benutzbar! Ich kann sie noch deinstallieren und neu installieren, aber das hilft auch nichts: die letzte Version scheint sich einfach mit meinem System nicht zu vertragen.
Frage: Gibt es irgendwelche Tricks wie man von diesen Extensions explizit eine frühere Version installieren kann? Ich meine allerdings nicht die ganz harte Tour: Zum git-Repository gehen, eine ältere Version auschecken, selber compilieren und schauen wie man sie heren gebastelt bekommt...
Konkret betrifft das bei mir jetzt:
1..Applications Menu
2. Caffeine
Beide benutze ich eigentlich täglich - und ich vermisse sie sehr wenn sie durch ein "Update" plötzlich einfach weg sind!
Danke für alle hilfreichen Tipps!