[Newbie] Changer la police dans la konsole de GNOME

Recherche :

Mot : Pseudo : Filtrer
Bas de page
Auteur	Sujet : [Newbie] Changer la police dans la konsole de GNOME

sseb22

It is an awful waste of space

Bonjour

qqun sait comment changer la taille de la police ds une konsole sous GNOME ?

Publicité

lucaramel

C'est quoi la console ? Le gnome-terminal ? Le multi-gnome-terminal ? aterm ? xterm ? rxvt ? powershell ?
De manière générale, il y a un menu pour changer tout ça.

FORUM HardWare.fr

Linux et OS Alternatifs

Débats

[Newbie] Changer la police dans la konsole de GNOME

Sujets relatifs
[unix] changer un user de groupe ???	comment changer la taille descaracteres sous emacs?
[Newbie]Merde au boot apres compilation [HELP]	changer de glibc sans tout changer ?
(newbie) routeur linux avec un modem usB	Newbie sous Linux : Config rezo douteuse / Prob avec Swat
[newbie] Acceleration matériel ?	[Newbie]slackware tout juste installée... pb avec server X
[Newbie]Probleme d'installation de package.	Changer le nom d'une machine sous redhat 7.3
Plus de sujets relatifs à : [Newbie] Changer la police dans la konsole de GNOME

Page générée en 0.039 secondes