From f237e83776a8105d3a5e41990f228855ff1187ea Mon Sep 17 00:00:00 2001 From: Konrad Bucheli Date: Mon, 28 Apr 2025 14:30:49 +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 3d4b85dc..1521b298 100644 --- a/admin-guide/configuration/desktop/gnome_extensions.md +++ b/admin-guide/configuration/desktop/gnome_extensions.md @@ -48,7 +48,7 @@ $ dconf watch /org/gnome/shell/extensions/ and then bring your changes into your default [dconf configuration](dconf). Note that users may still override such configuration. -To these settings do +To reset user specific settings do ``` rm ~/.config/dconf/user ```