8.2.4. Establecer las extensiones obligatorias
En GNOME Shell, puede proporcionar un conjunto de extensiones que el usuario debe utilizar.
Requisitos previos
Las extensiones deben instalarse en el directorio /usr/share/gnome-shell/extensions.
Procedimiento
Cree un archivo de base de datos local para la configuración de toda la máquina en
/etc/dconf/db/local.d/00-extensions-mandatory:[org/gnome/shell] # List all mandatory extensions enabled-extensions=['myextension1@myname.example.com', 'myextension2@myname.example.com']La clave
enabled-extensionsespecifica las extensiones habilitadas utilizando el uuid de las extensiones (myextension1@myname.example.comymyextension2@myname.example.com).Anula la configuración del usuario y evita que éste la cambie en
/etc/dconf/db/local.d/locks/extensions-mandatory:# Lock the list of mandatory extensions /org/gnome/shell/enabled-extensionsActualizar las bases de datos del sistema:
# dconf update- Los usuarios deben cerrar la sesión y volver a entrar para que los ajustes de todo el sistema surtan efecto.