Le Wed, 25 Jun 2003 11:24:04 +0200 Erwan David <[EMAIL PROTECTED]> a �crit:
> Le Wed 25/06/2003, Mimile disait > > Bref, je pr�cise ma question "o� se pr�cise les > > options g�n�riques (taille, couleurs, font...)d'un xterm en dehors > > de gnome?" et comme question subsidiaire "Qui a foutu la merde dans > > ma config d'xterm?" > > �a passe par les ressources X. > > Pour le d�faut system-wide voir dans /etc/X11/app-defaults/XTerm Oui, je viens de voir �a, je suis entrain d'essayer de comprendre son contenu. > Sinon regarde si tu as un .Xdefaults ou .Xresources qui d�finirait une > fonte par d�faut. Je vais faire un truc comme �a Merci � tous mil -- Une belle id�e qui n'aboutit pas vaut mieux qu'une mauvaise qui voit le jour. Pierre Dac
