Chargement des ressources d'une session

Le Gestionnaire de sessions utilise la propriété RESOURCE_MANAGER du serveur X pour rendre les ressources du système accessibles à toutes les applications. Le Gestionnaire de sessions active la propriété RESOURCE_MANAGER en :

• chargeant les ressources par défaut du système ;

• fusionnant les ressources système spécifiées par l'administrateur système ;

• fusionnant les ressources spécifiées par l'utilisateur.

Les ressources par défaut du système se trouvent dans /usr/dt/config/langue/sys.resources. Ces ressources sont rendues disponibles à chaque session utilisateur par l'intermédiaire de la propriété RESOURCE_MANAGER. Ce fichier ne doit pas être modifié, car il est remplacé à chaque nouvelle installation du bureau.

Vous pouvez enrichir les ressources par défaut du système en créant le fichier /etc/dt/config/langue/sys.resources. Dans ce fichier, vous pouvez remplacer les valeurs par défaut ou indiquer des ressources supplémentaires pour tous les utilisateurs. Ce fichier étant fusionné dans les ressources par défaut du système lors du lancement de la session, seules les nouvelles ressources ou les ressources modifiées doivent être placées dans ce fichier. Les ressources indiquées dans ce fichier sont rendues accessibles à chaque session utilisateur par l'intermédiaire de la propriété RESOURCE_MANAGER. Elles sont prioritaires par rapport à celles du fichier de ressources par défaut du système.

Les utilisateurs peuvent enrichir les ressources par défaut du système et les ressources système en utilisant leur fichier RépPersonnel/.Xdefaults. Les ressources indiquées dans ce fichier sont rendues accessibles à cette session utilisateur par l'intermédiaire de la propriété RESOURCE_MANAGER. Elles sont prioritaires par rapport à celles des fichiers de ressources par défaut du système ou de l'administrateur système.

l'utilitaire X Toolkit Intrinsics indique que des ressources pour une application seront chargées à partir de RESOURCE_MANAGER ou de RépPersonnel/.Xdefaults, mais pas des deux. Généralement, cela signifie que le fichier RépPersonnel/.Xdefaults de l'utilisateur est ignoré. Cependant, le Gestionnaire de sessions prend en charge le fichier RépPersonnel/.Xdefaults en le fusionnant avec RESOURCE_MANAGER lors du lancement de la session, comme décrit précédemment. Si un utilisateur modifie RépPersonnel/.Xdefaults, ces modifications ne seront pas prises en compte pour les nouvelles applications tant que l'utilisateur n'aura pas appelé l'action Recharger ressources. Cette action indique que le Gestionnaire de sessions doit recharger RESOURCE_MANAGER avec les ressources par défaut, les ressources système et celles indiquées par l'utilisateur. Les modifications ainsi apportées aux fichiers de ressources système et aux fichiers personnels concernent toutes les applications.

Pour plus d'informations, reportez-vous à :

• Définition de ressources d'applications ;

• la page de manuel dtresourcesfile(4).