Docs/quick-docs
1
0
Fork 0
Code Issues 48 Pull requests 1 Projects Releases Packages Wiki Activity Actions

Update modules/ROOT/pages/gnome-shell-extensions.adoc

Browse source 
Removed reference to Gnome Software - extensions are now primarily installed and managed through extensions.gnome.org or the extensions-tool but not through Gnome Software anymore.
This commit is contained in:
Flo H 2020-05-27 07:20:53 +00:00
parent 176f361eab
commit 791767a39e
1 changed files with 1 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

7
modules/ROOT/pages/gnome-shell-extensions.adoc
View file

@ -34,8 +34,6 @@ Local GNOME Shell extensions can be installed in multiple ways.
This requires the installation of a browser extension. This requires the installation of a browser extension.
If it is not installed, the website displays a notification with a link that installs it. If it is not installed, the website displays a notification with a link that installs it.
- Using GNOME Software, under `Addons > Shell Extensions`.
- Manual installation. - Manual installation.
This is not recommended. This is not recommended.
Advanced users that would like to do so should follow the instructions provided by the developers. Advanced users that would like to do so should follow the instructions provided by the developers.
@ -46,10 +44,7 @@ These can all be used to update installed local extensions also.
All extensions can be enabled, disabled, and their preferences modified by each user using: All extensions can be enabled, disabled, and their preferences modified by each user using:
- the https://extensions.gnome.org/local/[website] using Firefox. - https://extensions.gnome.org/local/[Gnome's Extensions website] using Firefox.
- GNOME Software, under `Addons > Shell Extensions > Extension settings`.
This launches the `gnome-shell-extension-prefs` tool, which can also be launched manually in a terminal.
- `gnome-shell-extension-tool`. - `gnome-shell-extension-tool`.
While this tool allows you to enable and disable extensions, it does not allow you to modify their settings. While this tool allows you to enable and disable extensions, it does not allow you to modify their settings.