From d400f76a58f8fd42f8a376df546fe641996dfae2 Mon Sep 17 00:00:00 2001 From: Konrad Bucheli Date: Mon, 28 Apr 2025 14:25:09 +0200 Subject: [PATCH] how to configure GNOME extensions --- admin-guide/configuration/desktop/gnome_extensions.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/admin-guide/configuration/desktop/gnome_extensions.md b/admin-guide/configuration/desktop/gnome_extensions.md index 0a234c55..3d4b85dc 100644 --- a/admin-guide/configuration/desktop/gnome_extensions.md +++ b/admin-guide/configuration/desktop/gnome_extensions.md @@ -17,7 +17,7 @@ gnome::custom_extensions: - 'desktop-icons@gnome-shell-extensions.gcampax.github.com' ``` -You can figure out the technical name by listing the installation directory (see above chapter) or by checking the list of activated extensions before and after enabling it using the GUI (`Tweaks` on RHEL8 and `Extensions` onr RHEL9+): +You can figure out the technical name by listing the installation directory (see above chapter) or by checking the list of activated extensions before and after enabling it using the GUI settings tool (`Tweaks` on RHEL8 and `Extensions` or RHEL9+): ``` $ dconf dump /org/gnome/shell/ | grep enabled-extensions