On Mon, Feb 19, 2007 at 09:10:24AM +0100, Alex PADOLY wrote:
> Existe-t-il un script permettant de changer la taille de la police des
> caractères en mode console.
> Je vous remercie.

Si tu utilises xterm, la taille de police se change avec les
combinaisons alt-maj-+ et alt-maj--

tu peux définir des polices dans le fichier .Xresources de ton home :

!!!!!!!!!!!!!!!
! ---- language-env DON'T MODIFY THIS LINE!
! ISO-8859-15 (Latin-9) fonts for XTerm
XTerm*Font: -misc-fixed-medium-r-normal--18-*-*-*-*-*-iso8859-15
XTerm*Font2: -misc-fixed-medium-r-normal--8-*-*-*-*-*-iso8859-15
XTerm*Font3: -misc-fixed-medium-r-normal--10-*-*-*-*-*-iso8859-15
XTerm*Font4: -misc-fixed-medium-r-normal--13-*-*-*-*-*-iso8859-15
XTerm*Font5: -misc-fixed-medium-r-normal--18-*-*-*-*-*-iso8859-15
XTerm*Font6: -misc-fixed-medium-r-normal--20-*-*-*-*-*-iso8859-15
!!!!!!!!!!!!!!!

Le nom des variables d'environnement change pour rxvt et sans doute
aussi pour aterm, mais le principe reste le même.

si leurs pages de manuel est aussi bonne que celle d'xterm, tu trouveras
leur nom dans leurs page man.

--
Thomas Harding


--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.net/?DebianFrench
Vous pouvez aussi ajouter le mot ``spam'' dans vos champs "From" et
"Reply-To:"

To UNSUBSCRIBE, email to debian-user-french-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org