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

  1. 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-extensions especifica las extensiones habilitadas utilizando el uuid de las extensiones (myextension1@myname.example.com y myextension2@myname.example.com).

  2. 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-extensions
  3. Actualizar las bases de datos del sistema:

    # dconf update
  4. Los usuarios deben cerrar la sesión y volver a entrar para que los ajustes de todo el sistema surtan efecto.