[Newbie] Changer la police dans la konsole de GNOME
Changer la police dans la konsole de GNOME [Newbie] - Débats - Linux et OS Alternatifs
Marsh Posté le 12-09-2002 à 14:23:15
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.
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
Marsh Posté le 12-09-2002 à 10:04:05
Bonjour
qqun sait comment changer la taille de la police ds une konsole sous GNOME ?