Merge pull request #132 from innovativeinnovation/cho-clean-gnome-ext…

…ensions
innovativeinnovation · Jan 25, 2024 · 01600b3 · 01600b3
2 parents 825af39 + d5edc9c
commit 01600b3
Showing 1 changed file with 3 additions and 7 deletions.
diff --git a/src/settings/README.md b/src/settings/README.md
@@ -64,17 +64,13 @@ sudo apt install gnome-tweaks
 * Seconds -> On
 * Week Numbers -> On
 
-## Extensions
+## Gnome Shell Extensions
 
 ```bash
-sudo apt install gnome-shell-extension-prefs
+sudo apt install gnome-shell-extensions gnome-shell-extension-manager
 ```
 
-Go to [https://extensions.gnome.org/](https://extensions.gnome.org/) and
-install the browser extension. You can now install any Gnome Shell Extension
-by turning on the switch on the web.
-
-Search and open the "Extensions" app to manage installed extensions.
+Search and open the "Extensions Manager".
 
 Must have: