From c5f2b57ef17a1dd786c5ff0dd3978d8842d2f257 Mon Sep 17 00:00:00 2001
From: Bhaskar <43211224+BhaskarDutta2209@users.noreply.github.com>
Date: Mon, 12 Oct 2020 18:34:25 +0530
Subject: [PATCH] gnome-extensions: add page (#4652)

---
 pages/linux/gnome-extensions.md | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 pages/linux/gnome-extensions.md

diff --git a/pages/linux/gnome-extensions.md b/pages/linux/gnome-extensions.md
new file mode 100644
index 000000000..8bcdaa105
--- /dev/null
+++ b/pages/linux/gnome-extensions.md
@@ -0,0 +1,32 @@
+# gnome-extensions
+
+> Manage gnome extensions from the terminal.
+> More information: <https://wiki.gnome.org/Projects/GnomeShell/Extensions>.
+
+- Display the version:
+
+`gnome-extensions version`
+
+- List all the installed extensions:
+
+`gnome-extensions list`
+
+- Display information about a specific extension:
+
+`gnome-extensions info "{{extension_id}}"`
+
+- Display help for a subcommand (like `list`):
+
+`gnome-extensions help {{subcommand}}`
+
+- Enable a specific extension:
+
+`gnome-extensions enable "{{extension_id}}"`
+
+- Disable a specific extension:
+
+`gnome-extension disable "{{extension_id}}"`
+
+- Uninstall a specific extension:
+
+`gnome-extension unistall "{{extension_id}}"`