Como diminuir o tamanho da fonte do Shell

[bbto]

Amigos, como faço para diminuir a fonte do shell?

Valeu.

[galactus]

Essa é fácil!

Sistema > Preferências > Fonte > Fonte do Terminal !

Daí você escolhe o tipo e o tamanho.

[Xterminator]

se for  a fonte do console texto, alterando a resolução fica legal, experimente adicionar ao grub
vga=xxx

onde xxx é a resolução pretendida eu uso 792 que é equivalente a 1024x768 com alguns milhoos de cores existem diversos modos nada que uma pesquisa no google por grub,vga+modes ou fb não resolva, a maioria das distros linux trazem o fb habilitado.

[bbto]

Xterminator, segui sua dica, mais existe um detalhe tem que colocar vga=xxx na linda do kernel que vai ser carregado por exemplo:

1 title           Ubuntu, kernel 2.6.12-9-386
2 root            (hd0,2)
3 kernel          /boot/vmlinuz-2.6.12-9-386 root=/dev/hda3 ro vga=795 acpi=off splash=verbose
4 initrd          /boot/initrd.img-2.6.12-9-386
5 savedefault
6 boot

Detalhe na linha 3  ro vga=795 acpi=off splash= verbose , não precisa executar update-grub

[Xterminator]

Hehehe eu não disse onde tinha que colocar a linha rs.rs. foi proposital mesmo, mas geralmente as opções são passadas na linha kernel mesmo, que bom que você nem perguntou correu atrás e resolveu, é aquela velha história não dê o peixe na mão, ensine a pescar.