Ubuntu c'est un nom de distribution, pas un émulateur de terminal. Mais si c'est ubuntu et que tout est par défaut il s'agit alors de GNOME Terminal.
Il n'existe pas de commande pour augmenter la taille de la police, mais tu peux utiliser le raccourcis clavier ctrl–shift–+ de mémoire, à vérifier dans les paramètres.
git is great because Linus did it, mercurial is better because he didn't.
Le terminal graphique que j'utilise s'appelle Konsole. On peut régler la taille de la police dans les paramétrages. J'imagine que c'est pareil avec la plupart des terminaux graphiques.
Mais GiulioNgo1 parle peut-être du « vrai » terminal, celui auquel on accède (avec Unbuntu) à l'aide des touches Alt-Ctrl-Fn. Là, je ne sais pas si ça existe. (Chez moi, sous Kubuntu, la police n'est pas bien grande et c'est vrai que ça pourrait être utile.)
pour les TTY, pas de problème, setfont fait le boulot (en général).
pour les consoles X, je n'ai pas trouvé de commande équivalente. je passe pas .Xdefaults, je recharge avec xrdb, et je démarre un nouveau terminal.
Validez la réponse utile « Un problème clairement exposé est à moitié résolu. » Pas de MP technique
Commande pour augmenter la police du terminal
× Après avoir cliqué sur "Répondre" vous serez invité à vous connecter pour que votre message soit publié.
× Attention, ce sujet est très ancien. Le déterrer n'est pas forcément approprié. Nous te conseillons de créer un nouveau sujet pour poser ta question.
Validez la réponse utile « Un problème clairement exposé est à moitié résolu. » Pas de MP technique
git is great because Linus did it, mercurial is better because he didn't.
Validez la réponse utile « Un problème clairement exposé est à moitié résolu. » Pas de MP technique