Je remarque une différence dans la police du terminal entre deux de mes appareils Android, notamment en termes de couverture de caractères (dans les deux cas, il s'agit du shell terminal de JuiceSSH). Comment puis-je définir la police que le terminal utilise dans Android ?
Réponses
Trop de publicités?
Firelord
Points
23064
J'ai trouvé deux façons de modifier la taille de la police dans JuiceSSH .
Utiliser les touches de volume
La toute première fois que vous auriez utilisé JuiceSSH, vous auriez pu tomber sur ce bref tutoriel :
(Cliquez sur l'image pour l'agrandir)
Utilisez les touches de volume haut/bas pour régler la taille de la police.
Méthode traditionnelle (paramètres)
Sur la page par défaut de JuiceSSH, allez dans Paramètres, ajustez la taille de la police.
Jeet
Points
1
0 votes
Augmentez/réduisez la taille de la police générale du système en allant sur
Settings>Display>Change Font Sizeou similaire. Si l'application en question propose une préférence pour la taille de la police, utilisez-la. Les polices des différents appareils Android n'ont pas le même aspect en raison de la taille de l'écran et des résolutions / ppp.