Differences

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

--- gnome:extensions:remove_gnome_shell_extensions [2022/07/23 09:04] – created 194.32.120.114
+++ gnome:extensions:remove_gnome_shell_extensions [2022/07/23 09:08] (current) – 194.32.120.114
@@ Line 1: / Line 1: @@
 ====== Gnome - Extensions - Remove GNOME Shell Extensions ======
+===== For extensions installed via the Web Browser =====
+Visit the [[https://extensions.gnome.org/local/|installed extensions]] section on GNOME website and remove it from there.
+----
+===== For extensions installed manually =====
+Remove it by deleting the extension files from
+<code bash>
+~/.local/share/gnome-shell/extensions/xxxxxx directory.
+</code>
+----