Comment changer la taille de la police du terminal dans Kali 2020.2
Je viens d'installer le kali 2020.2 avec kali-linux-2020.2-installer-amd64.iso dans VMware 15.1.0. Et je choisis l'environnement de bureau par défaut "xfce".
Tout semble bon sauf lorsque j'ouvre le terminal, la taille de la police est trop petite pour que je ne puisse presque pas la voir.
J'ai cliqué sur le "fichier" => "propriétés" => "police" dans le terminal et j'ai changé la taille de la police de 10 à 20.
Mais après avoir cliqué sur le bouton «ok», rien ne s'est passé. Et à partir de la vue «propriétés», la taille de la police est toujours de 10.
Quelqu'un pourrait-il me dire comment changer la taille de la police dans le terminal dans kali 2020.2? Je vous remercie.
Réponses
Tout d'abord, vous pouvez effectuer un zoom avant sur le terminal avec contrôle + "+" [^ +] et un zoom arrière avec contrôle + "-" [^ -]
Mais si vous souhaitez modifier la TAILLE DU TERMINAL INTERNE ... alors:
Ouvrez le terminal Cliquez sur EDIT> PREFERENCES> PROFILES
Vous pouvez maintenant créer un profil ou modifier celui que vous avez actuellement et personnaliser comme vous le souhaitez 😉
Changer la taille de la police dans leur terminal par défaut ne semble tout simplement pas fonctionner, peu importe ce que j'ai essayé. Voici ma solution de contournement:
sudo apt install xfce4-terminal
Une fois installé, allez dans "Paramètres" -> "Clavier" -> "Raccourcis d'application", et changez-le pour qu'à l'avenir, lorsque vous appuyez sur Ctrl+ Alt+, Til passe par défaut au nouveau terminal, plus facile à lire.
En utilisant le terminal dans Ubuntu 20.04, ouvrez les préférences sélectionnées du terminal dans le menu hamburger, et sous le profil par défaut, vérifiez la police personnalisée et sélectionnez la taille à côté de la police. Je ne suis pas sûr des autres distributions.