#246 Update modules/ROOT/pages/gnome-shell-extensions.adoc
Merged 3 years ago by sumantrom. Opened 3 years ago by augenauf.
Unknown source master  into  master

@@ -34,8 +34,6 @@

    This requires the installation of a browser extension.

    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.

    This is not recommended.

    Advanced users that would like to do so should follow the instructions provided by the developers.
@@ -46,10 +44,7 @@

  

  All extensions can be enabled, disabled, and their preferences modified by each user using:

  

- - the https://extensions.gnome.org/local/[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.

+ - https://extensions.gnome.org/local/[Gnome's Extensions website] using Firefox.

  

  - `gnome-shell-extension-tool`.

    While this tool allows you to enable and disable extensions, it does not allow you to modify their settings.

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.

Looks great, thanks for the PR. Merged

Pull-Request has been merged by sumantrom

3 years ago
Metadata