On Tue, 10 Apr 2001, Ludwin wrote:
> - Comment modifie-t-on la police par défaut en mode console?
NAME
setfont - load EGA/VGA console screen font
> - Comment choisit-on la police par défaut en X?
Réponse courte: à chaque objet X est associé un ensemble de
configurations, les ressources X11.
schaefer@defian:~% more .Xresources
xterm*font: 7x13
emacs*font: 7x13
cf la commande xrdb qui permet de charger un tel fichier de configuration.
Réponse longue: certains window-managers (KDE kwm) permettent de charger
un tel fichier de resources de façon plus intuitive (mais le mécanisme
est le même).
Cas pratique: besoin du caractère Euro.
1. configuration du clavier
schaefer@defian:~% more .Xmodmap
keycode 115 = Multi_key
keycode 26 = e E 0xa4
2. activation de la config clavier: xmodmap .Xmodmap, ou relancer
la session X11, du moins sous Debian .Xmodmap est lu, si
existant, par le Xsession standard.
3. lancement d'un xterm avec fonte ISO-8859-15
schaefer@defian:~% xlsfonts | grep 8859-15
-misc-fixed-bold-r-normal--13-120-75-75-c-70-iso8859-15
-misc-fixed-medium-r-normal--13-120-75-75-c-70-iso8859-15
% xterm -font -misc-fixed-medium-r-normal--13-120-75-75-c-70-iso8859-15
La plupart des applications X11 supportent l'option -font, et/ou
une configuration via ressources.
--
http://www-internal.alphanet.ch/linux-leman/ avant de poser
une question.
