Ce contenu n'est pas disponible dans la langue sélectionnée.
11.2. Enabling Machine-wide Extensions
To make extensions available to all users on the system, install them in the
/usr/share/gnome-shell/extensions
directory.
You need to set the
org.gnome.shell.enabled-extensions
key in order to set the default enabled extensions. However, there is currently no way to enable additional extensions for users who have already logged in. This does not apply for existing users who have installed and enabled their own GNOME extensions.
Procedure 11.2. Enabling machine-wide extensions
- Create a
local
database file for machine-wide settings in/etc/dconf/db/local.d/00-extensions
:[org/gnome/shell] # List all extensions that you want to have enabled for all users enabled-extensions=['myextension1@myname.example.com', 'myextension2@myname.example.com']
Theenabled-extensions
key specifies the enabled extensions using the extensions' uuid (myextension1@myname.example.com and myextension2@myname.example.com). - Update the system databases:
#
dconf update
- Users must log out and back in again before the system-wide settings take effect.