From 70bab478031503a649d2ab85f16d11cccd5b3770 Mon Sep 17 00:00:00 2001 From: William Rabbermann Date: Wed, 31 Jan 2024 14:43:16 +0000 Subject: [PATCH 1/3] 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. + From 3522219a6c2b6266d7f7eb77dc43271275959b6d Mon Sep 17 00:00:00 2001 From: William Rabbermann Date: Wed, 31 Jan 2024 14:54:02 +0000 Subject: [PATCH 2/3] Update modules/ROOT/pages/gnome-shell-extensions.adoc --- modules/ROOT/pages/gnome-shell-extensions.adoc | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/modules/ROOT/pages/gnome-shell-extensions.adoc b/modules/ROOT/pages/gnome-shell-extensions.adoc index 6f324a0..794ce5a 100644 --- a/modules/ROOT/pages/gnome-shell-extensions.adoc +++ b/modules/ROOT/pages/gnome-shell-extensions.adoc @@ -27,10 +27,9 @@ 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. +Run dconf to update the system dconf databases, making the newly installed system-wide extensions available to all users. `# dconf update` - == Installing and removing local GNOME Shell extensions Local GNOME Shell extensions can be installed in multiple ways. @@ -57,6 +56,4 @@ All extensions can be enabled, disabled, and their preferences modified by each Please use `gnome-shell-extension-tool -h` to learn more. - 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. - - + Apart from other customisations, GNOME Extensions also allows enabling, disabling, and modifying preferences for GNOME shell extensions. \ No newline at end of file From 01bd31d43d57b57edc42850a9d00833f98052861 Mon Sep 17 00:00:00 2001 From: William Rabbermann Date: Wed, 31 Jan 2024 14:56:01 +0000 Subject: [PATCH 3/3] Update modules/ROOT/pages/gnome-shell-extensions.adoc --- modules/ROOT/pages/gnome-shell-extensions.adoc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/modules/ROOT/pages/gnome-shell-extensions.adoc b/modules/ROOT/pages/gnome-shell-extensions.adoc index 794ce5a..b319773 100644 --- a/modules/ROOT/pages/gnome-shell-extensions.adoc +++ b/modules/ROOT/pages/gnome-shell-extensions.adoc @@ -56,4 +56,5 @@ All extensions can be enabled, disabled, and their preferences modified by each Please use `gnome-shell-extension-tool -h` to learn more. - 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. \ No newline at end of file + Apart from other customisations, GNOME Extensions also allows enabling, disabling, and modifying preferences for GNOME shell extensions. + \ No newline at end of file