diff options
| author | Florian Müllner <fmuellner@gnome.org> | 2022-11-05 23:16:16 +0100 |
|---|---|---|
| committer | Petr Kovář <pknbe@volny.cz> | 2022-11-11 16:48:19 +0000 |
| commit | a0fd891d2cec3d3990d5845c5030f7d33c430e1a (patch) | |
| tree | ddcc6210595a8e99d1e49d066036871e0a0c613b /system-admin-guide | |
| parent | 35f4e1faf20acdade760284f71febeac5700478b (diff) | |
| download | gnome-user-docs-a0fd891d2cec3d3990d5845c5030f7d33c430e1a.tar.gz | |
sysadmin-guide: Improve extension lock down docs
gnome-shell has had a `disabled-extensions` key for a while, that
overrides extensions even if they are enabled via settings or session
mode.
When locking down the set of enabled extensions, the intention is
most likely to not allow disabling them either, so document locking
down the additional key too.
Diffstat (limited to 'system-admin-guide')
| -rw-r--r-- | system-admin-guide/C/extensions-lockdown.page | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/system-admin-guide/C/extensions-lockdown.page b/system-admin-guide/C/extensions-lockdown.page index edf70250..5bf963bd 100644 --- a/system-admin-guide/C/extensions-lockdown.page +++ b/system-admin-guide/C/extensions-lockdown.page @@ -73,6 +73,7 @@ development-tools=false <code> # Lock the list of enabled extensions /org/gnome/shell/enabled-extensions +/org/gnome/shell/disabled-extensions /org/gnome/shell/development-tools </code> </listing> |