So erhalten Sie Benachrichtigungen über Updates für Ihre Gnome Shell-Erweiterungen

Das Gute (und wahrscheinlich das Beste) an Gnome Shell ist, dass Sie seine Funktionalität ganz einfach mit Erweiterungen erweitern können. Einige der besten davon haben wir Ihnen bereits in einem früheren Artikel gezeigt. Was nicht sofort offensichtlich ist, ist, wie Sie Ihre installierten Erweiterungen tatsächlich aktualisieren und wie Sie benachrichtigt werden, wenn es Updates gibt.

Wenn Sie Erweiterungen über den Paketmanager Ihrer Distribution installieren, werden die Updates bei der Aktualisierung des Systems weitergegeben. Für diejenigen, 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 verfügbar sind.

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

Sobald Sie es installiert haben, können Sie anpassen, wie oft nach Updates gesucht werden soll, indem Sie die Einstellungen über das GNOME-Optimierungstool starten.

Um eine Erweiterung tatsächlich zu aktualisieren, besuchen Sie die GNOME-Erweiterungswebsite in einem kompatiblen Browser wie 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 neben jeder Erweiterung die Optionen zum Aktivieren, Deaktivieren, Konfigurieren oder Entfernen.

Wenn für eine Erweiterung Updates verfügbar sind, wird daneben ein grüner Button angezeigt. Klicken Sie auf diesen Button.

Klicken Sie abschließend auf „Installieren“, um das Update herunterzuladen und zu installieren.

Einpacken

Das ist alles, was Sie zum Aktualisieren von GNOME Shell-Erweiterungen tun müssen. Ich hätte mir eine intuitivere Möglichkeit gewünscht, alle Erweiterungen mit einem Klick zu aktualisieren, beispielsweise über das GNOME Software Center, aber das gibt es derzeit nicht.

Wenn Sie eine bessere Möglichkeit zum Aktualisieren von GNOME-Erweiterungen kennen, teilen Sie uns dies bitte im Kommentarbereich unten mit.