Differences

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

--- gnome:extensions [2022/07/23 08:46] – 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:metadata.json|metadata.json]]
+[[Gnome:Extensions:prefs.js|prefs.js]]
-----
+[[Gnome:Extensions:Remove GNOME Shell Extensions|Remove GNOME Shell Extensions]]
+[[Gnome:Extensions:Gnome-Tweaks|Gnome-Tweaks]]
-===== Install GNOME Shell Extensions manually =====
+[[Gnome:Extensions:VPN Indicator|VPN Indicator]]
-It’s not that you have to be always online to install GNOME Shell extensions. You can download the files and install it later, without needing internet.
-Go to GNOME Extensions website and download the extension with the latest version.
-Extract the downloaded file. Copy the folder to ~/.local/share/gnome-shell/extensions directory. Go to your Home directory and press Crl+H to show hidden folders. Locate .local folder here and from there, you can find your path till extensions directory.
-Once you have the files copied in the correct directory, go inside it and open metadata.json file. Look for the value of uuid.
-Make sure that the name of the extension’s folder is same as the value of uuid in the metadata.json file. If not, rename the directory to the value of this uuid.
-Now restart GNOME Shell. Press Alt+F2 and enter r to restart GNOME Shell.
-Restart GNOME Tweaks tool as well. You should see the manually installed GNOME extension in the Tweak tool now. You can configure or enable the newly installed extension here.
-And that’s all you need to know about installing GNOME Shell Extensions.
-----
-===== Remove GNOME Shell Extensions =====
-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 Status|VPN Status]]
 ----