#1 Le 26/02/2010, à 17:14
- olivier29
taille police dans console graphique
Bonjour, je ne sais pas si cela a déjà été dit et si je suis au bon endroits, mais j'ai trouvé comment agrandir la taille de la police de caractère dans la console graphique, il suffit de taper "Ctrl +" pour agrandir et "Ctrl -" pour réduire.
Voila c'est tout
Hors ligne
#2 Le 26/02/2010, à 19:31
- Qid
Re : taille police dans console graphique
Bonjour, je ne sais pas si cela a déjà été dit et si je suis au bon endroits, mais j'ai trouvé comment agrandir la taille de la police de caractère dans la console graphique, il suffit de taper "Ctrl +" pour agrandir et "Ctrl -" pour réduire.
ah tien merci je connaissais pas ... je douet que ça me soit réellement utile mais c'est toujours bon à savoir
par contre il n'y a plus de forum "truc et astuce" ? parce que bon
je dis pas qu'il a pas sa place ici ... juste que c'est une bonne astuce 
"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 26/02/2010, à 19:39
- nesthib
Re : taille police dans console graphique
et ça : Trucs, astuces et scripts utiles ? ^^
GUL Bordeaux : Giroll – Services libres : TdCT.org
Hide in your shell, scripts & astuces : applications dans un tunnel – smart wget – trouver des pdf – install. auto de paquets – sauvegarde auto – ♥ awk
⃛ɹǝsn xnuᴉꞁ uʍop-ǝpᴉsdn
Hors ligne