Unsicher, wie man GNOME-Erweiterungen aktualisiert? Du bist nicht allein.
Ich habe in den letzten Wochen eine Reihe von Leuten gesehen, die gefragt haben, wie man GNOME-Shell-Erweiterungen aktualisiert, zweifellos dank der jüngsten Ereignisse im Ubuntu-Land, die dazu geführt haben, dass mehr Leute GNOME-Shell ausprobiert haben.
Die Antwort ist denkbar einfach:Sie aktualisieren GNOME-Erweiterungen von derselben Website, von der Sie sie installieren, nämlich extensions.gnome.org .
Das ist nicht sofort ersichtlich.
Früher war es schlimmer; In älteren Versionen von GNOME 3 müssen Sie sich die Mühe machen, nach Erweiterungsaktualisierungen zu suchen. Aber der neue GNOME Shell Helper, der zum Installieren von Erweiterungen benötigt wird, teilt Ihnen oft mit, wenn eine Erweiterung verfügbar ist.
Aber das Klicken auf die Benachrichtigung bewirkt nichts.
Daher lautet eine häufig gestellte Frage von GNOME-Benutzern:„Wie kann ich GNOME-Erweiterungen aktualisieren?“.
Das Aktualisieren von GNOME-Erweiterungen ist einfach
Um auf die neueste kompatible Version einer GNOME-Erweiterung zu aktualisieren, besuchen Sie einfach die Website extensions.gnome.org in einem kompatiblen Webbrowser wie Firefox, Google oder GNOME Web (Epiphany).
Oben auf der Website befinden sich vier Links:„Erweiterungen“, „Eigene hinzufügen“, „Installierte Erweiterungen“ und „Über“.
Klicken Sie auf „Installierte Erweiterungen“. ”-Option.
Sie sehen eine Liste der GNOME-Erweiterungen, die Sie auf Ihrem System installiert haben. Neben jedem befinden sich ein paar Schaltflächen zum Aktivieren/Deaktivieren, Konfigurieren und Entfernen.
Erweiterungen, für die ein Update verfügbar ist, zeigen ein grünes Kästchen mit einem nach oben weisenden Pfeil darin an. Dieses Symbol zeigt an, dass eine neue Version der Erweiterung verfügbar ist.
Klicken Sie auf dieses Symbol.
Sie werden aufgefordert, das Update herunterzuladen und zu installieren.
Und das ist alles.