Das Gute (und wahrscheinlich das Beste) an Gnome Shell ist, dass Sie seine Funktionalität leicht mit Erweiterungen erweitern können, und wir haben Ihnen bereits einige der besten in einem früheren Artikel gezeigt. Was nicht sofort offensichtlich ist, ist, wie Sie Ihre installierten Erweiterungen aktualisieren und wie Sie benachrichtigt werden, wenn Updates verfügbar sind.

Wenn Sie Erweiterungen über den Paketmanager Ihrer Distributionen installieren, werden Aktualisierungen beim Aktualisieren des Systems weitergegeben. Für Benutzer, die Erweiterungen über die GNOME-Extensions-Website installieren, gibt es jedoch keine integrierte Möglichkeit, benachrichtigt zu werden, wenn Updates für die von Ihnen installierten Erweiterungen vorhanden sind.

Dieses Problem wird durch die Installation einer anderen Erweiterung, Extension Update Notifier, gelöst, die Sie einfach informiert, wenn ein Update für eine Ihrer installierten Erweiterungen verfügbar ist.

Sobald Sie es installiert haben, können Sie anpassen, wie oft es nach Updates suchen soll, indem Sie die Einstellungen aus dem GNOME-Optimierungstool starten.

Um eine Erweiterung tatsächlich zu aktualisieren, besuchen Sie die GNOME Extension-Website in einem kompatiblen Browser, z. B. Firefox oder GNOME Web (Epiphany), und klicken Sie in der oberen Navigationsleiste auf "Installierte Erweiterungen".

Sie sehen eine Liste aller Erweiterungen, die Sie auf Ihrem Computer installiert haben, und Optionen zum Aktivieren, Deaktivieren, Konfigurieren oder Entfernen von ihnen neben jedem.

Wenn Aktualisierungen für eine Erweiterung verfügbar sind, wird neben der Schaltfläche eine grüne Schaltfläche angezeigt. Klicken Sie auf diese Schaltfläche.

Klicken Sie schließlich auf "Installieren", um das Update herunterzuladen und zu installieren.

Einpacken

Das ist alles, was Sie tun müssen, um GNOME Shell-Erweiterungen zu aktualisieren. Ich hätte gerne eine intuitivere Möglichkeit gehabt, alle Erweiterungen mit einem Klick zu aktualisieren, zum Beispiel über das GNOME Software Center, aber das gibt es im Moment nicht.

Wenn Sie eine bessere Möglichkeit kennen, um GNOME-Erweiterungen zu aktualisieren, teilen Sie uns dies im folgenden Kommentarbereich mit.