OVH Cloud OVH Cloud

Taille police en console

3 réponses
Avatar
Alex PADOLY
Bonjour à tous,

Existe-t-il un script permettant de changer la taille de la police des
caractères en mode console.
Je vous remercie.

Alex PADOLY


--
Using Opera's revolutionary e-mail client: http://www.opera.com/mail/


--
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

3 réponses

Avatar
thomas.harding
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
with a subject of "unsubscribe". Trouble? Contact
Avatar
Bernard Isambert
Thomas Harding a écrit :

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--



...




J'ai l'impression qu'Alex voulait parler de la console en mode texte et
pas en environnement graphique à travers xterm.
Cela se définit au boot (man lilo, man grub) mais je ne connais pas de
moyen de changer la résolution par la suite.

Bernard.
Avatar
thomas.harding
On Mon, Feb 19, 2007 at 06:12:16PM +0100, Bernard Isambert wrote:
J'ai l'impression qu'Alex voulait parler de la console en mode texte et
pas en environnement graphique à travers xterm.
Cela se définit au boot (man lilo, man grub) mais je ne connais pas de
moyen de changer la résolution par la suite.



consolechars -f /usr/share/consolefonts/lat0-10.psf.gz

--
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
with a subject of "unsubscribe". Trouble? Contact