Differences

This shows you the differences between two versions of the page.

--- gnome:extensions [2022/07/23 09:04] – 194.32.120.114
+++ gnome:extensions [2022/09/23 16:14] (current) – peter
@@ Line 1: / Line 1: @@
 ====== Gnome - Extensions ======
+[[Gnome:Extensions:Create an Extension|Create an Extension]]
+[[Gnome:Extensions:extension.js|extension.js]]
 [[Gnome:Extensions:Extra In-House Extensions|Extra In-House Extensions]]
-[[Gnome:Extensions:Gnome-Tweaks|Gnome-Tweaks]]
+[[Gnome:Extensions:Get a list of installed GNOME Shell Extensions|Get a list of installed GNOME Shell Extensions]]
+[[Gnome:Extensions:Get notified of GNOME Shell Extensions updates|Get notified of GNOME Shell Extensions updates]]
 [[Gnome:Extensions:Install GNOME Shell extensions manually|Install GNOME Shell extensions manually]]
@@ Line 9: / Line 15: @@
 [[Gnome:Extensions:Install GNOME Shell extensions from a web browser|Install GNOME Shell extensions from a web browser]]
-[[Gnome:Extensions:Remove GNOME Shell Extensions|Remove GNOME Shell Extensions]]
+[[Gnome:Extensions:metadata.json|metadata.json]]
-----
+[[Gnome:Extensions:prefs.js|prefs.js]]
+[[Gnome:Extensions:Remove GNOME Shell Extensions|Remove GNOME Shell Extensions]]
-===== Remove GNOME Shell Extensions =====
+[[Gnome:Extensions:Gnome-Tweaks|Gnome-Tweaks]]
-It is totally understandable that you might want to remove an installed GNOME Shell Extension.
-If you installed it via a web browser, you can go to the [[https://extensions.gnome.org/local/|installed extensions]] section on GNOME website and remove it from there (as shown in an earlier picture).
-If you installed it manually, you can remove it by deleting the extension files from ~/.local/share/gnome-shell/extensions directory.
-==== Bonus Tip: Get notified of GNOME Shell Extensions updates ====
-By now you have realized that there is no way to know if an update is available for a GNOME Shell extension except for visiting the GNOME extension website.
-Luckily for you, there is a GNOME Shell Extension that notifies you if there is an update available for an installed extension. You can get it from the link below:
-pphttps://extensions.gnome.org/extension/1166/extension-update-notifier/|Extension Update Notifier]]
+[[Gnome:Extensions:VPN Indicator|VPN Indicator]]
+[[Gnome:Extensions:VPN Status|VPN Status]]
 ----