Pour modifier les polices de dtterm, vous pouvez effectuer l'une des opérations suivantes :
définition des polices à partir de la ligne de commande ;
définition des polices à l'aide d'un fichier de ressources.
Pour modifier les polices des menus à partir de la ligne de commande, entrez:
dtterm -xrm '*fontList: jeu_polices'
où jeu_polices est une spécification de jeu de polices. Vous pouvez indiquer une liste de descriptions de fonctions logiques X (XLFD), une forme XLFD simple ou un alias. Une spécification de jeu de polices est fonction de l'environnement local en vigueur.
Par exemple, pour utiliser une police plus grande, sauf dans les menus, entrez :
dtterm -xrm '*fontList:-dt-interface user-medium-r-normal-l*-*-*-*:'
Pour utiliser une police plus petite, sauf dans les menus, entrez :
dtterm -xrm '*fontList:-dt-interface user-medium-r-normal-s*-*-*-*:'
Les spécifications ci-dessus conviennent pour tous les environnements locaux.
Par exemple, pour modifier les polices de la commande dtterm dans un fichier de ressources, procédez comme suit :
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 au chemin de recherche des fichiers de ressources du répertoire /usr/dt/app-defaults/langue, où langue correspond au nom de l'environnement local.
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
Ajoutez le jeu de polices voulu à 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-*-*-*-*