Utilisateur de linux depuis peu, j'utilise de plus en plus des
programmes en mode texte. C'est pourquoi je commence à être gêné par la
trop importante taille des caractères. Comment dois-je m'y prendre pour
y remedier? Faut-il changer la police de bash pour une plus petite? Ou
alors éxiste-t-il un paramètre à directement faire passer à grub?
N'ayant pas trouvé de réponse, je m'en remet à vous pour m'indiquer ou
je pourrais en trouver une.
Cette action est irreversible, confirmez la suppression du commentaire ?
Signaler le commentaire
Veuillez sélectionner un problème
Nudité
Violence
Harcèlement
Fraude
Vente illégale
Discours haineux
Terrorisme
Autre
Anonyme
Bonjour,
Utilisateur de linux depuis peu, j'utilise de plus en plus des programmes en mode texte. C'est pourquoi je commence à être gêné par la trop importante taille des caractères. Comment dois-je m'y prendre pour y remedier? Faut-il changer la police de bash pour une plus petite? Ou alors éxiste-t-il un paramètre à directement faire passer à grub? N'ayant pas trouvé de réponse, je m'en remet à vous pour m'indiquer ou je pourrais en trouver une.
Ce n'est pas au niveau du shell bash (qui est une application lancée après la création des consoles), mais au niveau de la console elle-même.
En fonction de votre distribution, le choix de la fonte se fait soit dans /etc/rc.d/rc.font (Slackware entre autres), soit /etc/init.d/[...] (Mandriva je crois, entre autres).
Chez moi j'ai la ligne suivante (rc.font) :
setfont -v lat9w-16.psfu.gz (-v optionnel)
C'est une fonte contenant une table Unicode (.psfu) lat9w indique l'encodage (latin 9) et le type de compatibilité avec unicode (w). Veuillez vous reporter à /usr/share/kbd/consolefonts/README.lat9 et "man setfont" pour plus de détails.
Ce qui nous intéresse c'est le chiffre 16 : c'est la taille de la fonte. Dans le répertoire /usr/share/kbd/consolefonts/, on peut voir plusieurs taille : 8,10,12,14,16. Si je voulais garder la même police, mais en taille 10, je mettrais :
setfont lat9w-10.psfu.gz
Vous souhaitant de passer une bonne journée,
Merci bien, bonne journée à vous aussi !
-- Anonyme
Bonjour,
Utilisateur de linux depuis peu, j'utilise de plus en plus des
programmes en mode texte. C'est pourquoi je commence à être gêné par la
trop importante taille des caractères. Comment dois-je m'y prendre pour
y remedier? Faut-il changer la police de bash pour une plus petite? Ou
alors éxiste-t-il un paramètre à directement faire passer à grub?
N'ayant pas trouvé de réponse, je m'en remet à vous pour m'indiquer ou
je pourrais en trouver une.
Ce n'est pas au niveau du shell bash (qui est une application lancée
après la création des consoles), mais au niveau de la console elle-même.
En fonction de votre distribution, le choix de la fonte se fait soit
dans /etc/rc.d/rc.font (Slackware entre autres), soit /etc/init.d/[...]
(Mandriva je crois, entre autres).
Chez moi j'ai la ligne suivante (rc.font) :
setfont -v lat9w-16.psfu.gz (-v optionnel)
C'est une fonte contenant une table Unicode (.psfu) lat9w indique
l'encodage (latin 9) et le type de compatibilité avec unicode (w).
Veuillez vous reporter à /usr/share/kbd/consolefonts/README.lat9 et
"man setfont" pour plus de détails.
Ce qui nous intéresse c'est le chiffre 16 : c'est la taille de la fonte.
Dans le répertoire /usr/share/kbd/consolefonts/, on peut voir plusieurs
taille : 8,10,12,14,16. Si je voulais garder la même police, mais en
taille 10, je mettrais :
Utilisateur de linux depuis peu, j'utilise de plus en plus des programmes en mode texte. C'est pourquoi je commence à être gêné par la trop importante taille des caractères. Comment dois-je m'y prendre pour y remedier? Faut-il changer la police de bash pour une plus petite? Ou alors éxiste-t-il un paramètre à directement faire passer à grub? N'ayant pas trouvé de réponse, je m'en remet à vous pour m'indiquer ou je pourrais en trouver une.
Ce n'est pas au niveau du shell bash (qui est une application lancée après la création des consoles), mais au niveau de la console elle-même.
En fonction de votre distribution, le choix de la fonte se fait soit dans /etc/rc.d/rc.font (Slackware entre autres), soit /etc/init.d/[...] (Mandriva je crois, entre autres).
Chez moi j'ai la ligne suivante (rc.font) :
setfont -v lat9w-16.psfu.gz (-v optionnel)
C'est une fonte contenant une table Unicode (.psfu) lat9w indique l'encodage (latin 9) et le type de compatibilité avec unicode (w). Veuillez vous reporter à /usr/share/kbd/consolefonts/README.lat9 et "man setfont" pour plus de détails.
Ce qui nous intéresse c'est le chiffre 16 : c'est la taille de la fonte. Dans le répertoire /usr/share/kbd/consolefonts/, on peut voir plusieurs taille : 8,10,12,14,16. Si je voulais garder la même police, mais en taille 10, je mettrais :
