Logiciels Extensions Activer les extensions à l’échelle système — Activer les extensions du Shell de GNOME pour tous les utilisateurs. Les extensions du Shell de GNOME — Les extensions du Shell de GNOME permettent de personnaliser l’interface du Shell de GNOME. Verrouiller les extensions activées — Empêcher l’utilisateur d’activer ou désactiver les extensions du Shell de GNOME. Gestion Ajouter un type MIME personnalisé pour tous les utilisateurs — Créer une spécification de type MIME et l’associer à une application par défaut. Ajouter un type MIME personnalisé à un utilisateur — Créer la spécification d’un type MIME pour un utilisateur et l’associer à une application par défaut. Ajouter une application au démarrage pour tous les utilisateurs — Comment ajouter une application au démarrage pour tous les utilisateurs Désactiver l’accès à la ligne de commande — Empêcher les utilisateurs d’accéder à la ligne de commande. Processus usuels — Quels sont les processus courants dans une session GNOME vierge. Que sont les types MIME ? — Les types MIME sont utilisés pour identifier le format d’un fichier. Remplacer les applications par défaut de tous les utilisateurs — Associer des applications à des types MIME spécifiques. Remplacer les applications par défaut d’un utilisateur — Personnaliser, par utilisateur, l’application ouvrant un type MIME spécifique. Plus d’informations Guide d’administration du système GNOME — Un guide pour les administrateurs système GNOME 3.