Differences

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

--- gnome:extensions:extra_in-house_extensions [2022/07/23 08:13] – created 194.32.120.114
+++ gnome:extensions:extra_in-house_extensions [2022/07/23 08:19] (current) – 194.32.120.114
@@ Line 1: / Line 1: @@
 ====== Gnome - Extensions - Extra In-House Extensions ======
+<code bash>
+sudo apt install gnome-shell-extensions
+</code>
+<WRAP info>
+**NOTE:**  Provides additional additional functionality in the GNOME Shell.
+  * To have these enabled without restart, type **ALT+F2**, type **r** and press **ENTER**.
+    * The new extensions should appear in the Extension list.
+    * To enable any extension, switch the button to the **ON** position.
+</WRAP>