Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

Pages : 1

#1 Le 13/08/2009, à 04:59

Danquebec

[RÉSOLU]taille du texte au terminal

Bonjour,

Bon, vous allez me dire que ce topic aurait du être dans la nouvelle section dédiée à la console, mais ce n'est pas le cas, car ma question n'est pas à propos d'une commande mais plutôt à propos du terminal par défaut sous gnome (le logiciel lui-même).

Ma question est : comment changer la taille du terminal en question?

J'ai cherché dans les préférences, étonnamment je n'ai rien trouvé. Peut-être que c'est un fichier à éditer?


Merci.

Dernière modification par Danquebec (Le 13/08/2009, à 18:27)

Salon jabber bien : discussion@chat.jabberfr.org - Pour parler de tout et n'importe quoi - Venez en grand nombre !
Donnez du calcul inutilisé à des recherches scientifiques et technologiques (cure du cancer, du sida, énergies propres, etc...) http://www.worldcommunitygrid.org/

Hors ligne

#2 Le 13/08/2009, à 05:06

Qid

Re : [RÉSOLU]taille du texte au terminal

dpkg-reconfigure console-setup

ça doit etre ça de mémoir il me semble

"GNU/Linux c'est que du bon mais M$ Windows ce n'est pas si mal"
Référent technique Ubuntu d'un Groupe d'Utilisateur du Libre
plus d'info sur mon profil

Hors ligne

#3 Le 13/08/2009, à 05:52

Danquebec

Re : [RÉSOLU]taille du texte au terminal

Merci, je l'ai réduit, je reboot pour voir si ça a fonctionné.

EDIT : La taille semble toujours aussi grosse... La commande, est-ce que c'était pour le terminal hors-graphique? Car moi je cherche à réduire la taille du texte au terminal graphique par défaut sous gnome.

Dernière modification par Danquebec (Le 13/08/2009, à 05:59)

Salon jabber bien : discussion@chat.jabberfr.org - Pour parler de tout et n'importe quoi - Venez en grand nombre !
Donnez du calcul inutilisé à des recherches scientifiques et technologiques (cure du cancer, du sida, énergies propres, etc...) http://www.worldcommunitygrid.org/

Hors ligne

#4 Le 13/08/2009, à 12:12

xamaco

Re : [RÉSOLU]taille du texte au terminal

Si tu parles de Gnome Terminal, tu peux choisir la police et sa taille par :
Edition - Préférences du profil.

Hors ligne

#5 Le 13/08/2009, à 13:48

Qid

Re : [RÉSOLU]taille du texte au terminal

xamaco a écrit :

Si tu parles de Gnome Terminal, tu peux choisir la police et sa taille par :
Edition - Préférences du profil.

merci ... effectivement j'etais un peu à coté ça c'est mieu comme réponse wink

"GNU/Linux c'est que du bon mais M$ Windows ce n'est pas si mal"
Référent technique Ubuntu d'un Groupe d'Utilisateur du Libre
plus d'info sur mon profil

Hors ligne

#6 Le 13/08/2009, à 18:27

Danquebec

Re : [RÉSOLU]taille du texte au terminal

Ah, merci, j'avais pourtant cherché dans les préférences du profil, il fallait en fait décocher "Utiliser la police à chasse fixe du système".

Merci! (Je suis un idiot xD)

Salon jabber bien : discussion@chat.jabberfr.org - Pour parler de tout et n'importe quoi - Venez en grand nombre !
Donnez du calcul inutilisé à des recherches scientifiques et technologiques (cure du cancer, du sida, énergies propres, etc...) http://www.worldcommunitygrid.org/

Hors ligne

Pages : 1