Hallo,
sei dem Update funktionieren alle Extensions nicht mehr. Einige konnte ich durch einen Besuch auf der Seite erneut installieren und die alte Version entfernen. (Ein direktes Update ging bei keinem der Exensions). Allerdings gehen trotzdem viele der Extensions nicht mehr: - Show Desktop Button (kann installiert werden, allerdings wird kein Desktop-Symbol angezeigt) - Advanced settings in usermenu (kann nicht geupdatet werden) - Noa11y (kann nicht geupdatet werden) - Media PLayer Indicator (kann nicht geupdatet werden)
Gibt es Infos dazu, ob diese Extensions überarbeitet werden? Hat sich denn die Gnome-Shell-Version mit dem Update auf 12.10 auch geändert? Ich kann keine Änderungen feststellen, Konfigurationsmöglichkeiten sind keine hinzugekommen.