SSH avec Putty: taille de la police
Posté : 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
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