fixed missing dot in ~/.local/share/...

This commit is contained in:
ojn 2019-11-08 23:58:44 +01:00
parent d985db37bc
commit a0070a3fe9

View file

@ -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. So, please report bugs in these extensions directly to their developers.
Extensions can either be local or system-wide. 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. System extensions, therefore, cannot be installed, updated or removed by non-administrator users.
They can, however, be enabled or disabled by each user. They can, however, be enabled or disabled by each user.