A partir d'un fichier de ressources

Par exemple, pour modifier les polices de la commande dtterm dans un fichier de ressources, procédez comme suit :

1. Editez le fichier de ressources Dtterm dans le répertoire /usr/dt/app-defaults/langue.

   Vous pouvez utiliser le nom de classe (Dtterm) ou le nom d'application (dtterm) pour le fichier de ressources.

   La définition de la variable d'environnement LANG entraîne l'ajout du répertoire /usr/dt/app-defaults/langue au chemin de recherche des fichiers de ressources, où langue correspond au nom de la langue.

   Une fois cette variable définie, le chemin de recherche des fichiers de ressources comprend les dossiers suivants :

   /usr/dt/app-defaults/langue/Dtterm

   /usr/dt/app-defaults/C/Dtterm

2. Ajoutez le jeu de polices désiré à la fin du fichier.

   Par exemple, si vous voulez utiliser une police à chasse fixe, ajoutez la ligne suivante :

   dtterm -fn -dt-interface user-medium-r-normal-*-*-*-*

3. Sauvegardez le fichier.