From a0070a3fe9849afa32819f0fbbf65b57ad12ea38 Mon Sep 17 00:00:00 2001 From: ojn Date: Fri, 8 Nov 2019 23:58:44 +0100 Subject: [PATCH] fixed missing dot in ~/.local/share/... --- modules/ROOT/pages/gnome-shell-extensions.adoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/modules/ROOT/pages/gnome-shell-extensions.adoc b/modules/ROOT/pages/gnome-shell-extensions.adoc index abdb723..4b04a14 100644 --- a/modules/ROOT/pages/gnome-shell-extensions.adoc +++ b/modules/ROOT/pages/gnome-shell-extensions.adoc @@ -15,7 +15,7 @@ Some features first implemented as extensions might find their way into future v So, please report bugs in these extensions directly to their developers. Extensions can either be local or system-wide. -Local extensions are ones installed by each user in their home directories (`~/local/share/gnome-shell/extensions`), whereas system-wide extensions are installed by administrators in system directories (`/usr/share/gnome-shell/extensions/`). +Local extensions are ones installed by each user in their home directories (`~/.local/share/gnome-shell/extensions`), whereas system-wide extensions are installed by administrators in system directories (`/usr/share/gnome-shell/extensions/`). System extensions, therefore, cannot be installed, updated or removed by non-administrator users. They can, however, be enabled or disabled by each user.