SSH avec Putty: taille de la police

Paramétrer le Raspberry Pi B/B+ pour se connecter via Ethernet ou une clé WiFi USB

Modérateurs : Francois, maxty01

Répondre
Avatar du membre
F6EEQ
Messages : 23
Enregistré le : dim. 7 févr. 2016 10:38
Localisation : 26300 Chatuzange le Goubet

SSH avec Putty: taille de la police

Message par F6EEQ » dim. 22 janv. 2017 08:23

Bonjour,

J'ai connecté mon RPi3 au PC (Debian Jessie) en SSH avec Putty.
Cela fonctionne très bien. J'ai configuré VIM avec toutes les options et maintenant j'ai de beaux numéros de ligne, une coloration syntaxique, et je commence à faire du Python avec VIM.

Le seul problème que j'ai est que la police de caractère est toute petite, aussi bien pour VIM que pour le BASH (c'est normal!).
J'ai essayé de configurer Putty en augmentant la taille de police, mais sans succès.

Comment faire??

En console normale sur le PC (Konsole de KDE) je sais faire en modifiant les profils mais là je sèche.

Si vous avez le truc qui marche ce serait super.

Merci et bon Dimanche.
Gérard

J'ai posté ici, car on passe par le réseau, mais si un administrateur veut pousser ailleurs, pas de PB... tant que j'ai une réponse :mrgreen: :mrgreen:
73 de F6EEQ
RPi3, ARDUINO (Mega, Uno, Nano...)

Alexidreaming
Raspinaute
Messages : 211
Enregistré le : mar. 16 août 2016 20:55
Contact :

Re: SSH avec Putty: taille de la police

Message par Alexidreaming » lun. 20 févr. 2017 18:25

Salut,

il y a ce site qui explique comment faire, chez moi sa marche : http://blog.benjaminperrin.fr/index.php/astuce-putty/
Le pro du déterrage de topic est là!

Alexidreaming

Répondre

Retourner vers « Le réseau sur le Raspberry Pï »