From 70bab478031503a649d2ab85f16d11cccd5b3770 Mon Sep 17 00:00:00 2001 From: William Rabbermann Date: Wed, 31 Jan 2024 14:43:16 +0000 Subject: [PATCH] Update modules/ROOT/pages/gnome-shell-extensions.adoc https://help.gnome.org/admin/system-admin-guide/stable/extensions-enable.html.en You need to run `dconf update` after installing the system wide extensions. Otherwise you can not use them. --- modules/ROOT/pages/gnome-shell-extensions.adoc | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/modules/ROOT/pages/gnome-shell-extensions.adoc b/modules/ROOT/pages/gnome-shell-extensions.adoc index 31a61c6..6f324a0 100644 --- a/modules/ROOT/pages/gnome-shell-extensions.adoc +++ b/modules/ROOT/pages/gnome-shell-extensions.adoc @@ -27,6 +27,10 @@ NOTE: In the event of crashes with GNOME shell, the first recommended step to di These are generally provided in the Fedora repositories and can be installed, removed, and updated using the default package management tools like `dnf`. You can find a list https://packages.fedoraproject.org/search?query=gnome-shell-extension[here by searching the packages application] for `gnome-shell-extension`. +Run dconf to update the system dconf databases, making the newly installed system extensions available to all users. +`# dconf update` + + == Installing and removing local GNOME Shell extensions Local GNOME Shell extensions can be installed in multiple ways. @@ -55,3 +59,4 @@ All extensions can be enabled, disabled, and their preferences modified by each - the https://packages.fedoraproject.org/pkgs/gnome-extensions-app/gnome-extensions-app/[GNOME Extensions] app. Apart from other customisations, GNOME Extensions also allows enabling, disabling, and modifying preferences for GNOME shell extensions. +