Eu tenho o Ubuntu trabalhando no modo de texto. Gostaria de alterar o tamanho da fonte (ou, se possível, obter meu terminal com a fonte inconsolata). Como posso fazer isso?
PS: Não tenho uma GUI ou X Windows em execução.
sudo dpkg-reconfigure console-setup
fez o truque
O Linux Cookbook diz
As fontes do console são armazenadas no
/usr/share/consolefonts
diretório como arquivos compactados; para instalar novas fontes de console, peça ao administrador do sistema que crie um/usr/local/share/consolefonts
diretório e coloque os arquivos de fontes lá.
Use consolechars
para definir a fonte atual do console; forneça o nome do arquivo base de uma fonte do console como argumento para a opção `-f '.
Para definir a fonte do console para a fonte scrawl_w, digite:
consolechars -f scrawl_w [RET]
Alguns arquivos de fonte contêm mais de uma altura (ou tamanho) da fonte. Se uma fonte contiver mais de uma codificação para diferentes alturas, forneça a altura para usar como argumento na opção `-H '. (Se você tentar fazê-lo sem a opção de qualquer maneira, o consolechars exibirá uma lista dos tamanhos disponíveis.)
As alturas de fontes comuns do console incluem 8 (para fontes 8x8), 14 (para fontes 8x14) e 16 (para fontes 8x16).
Para definir a fonte do console para a fonte sc de tamanho 8x8, digite:
$ consolechars -H 8 -f sc [RET]
Para listar todos os caracteres na fonte atual do console, digite:
$ showcfont [RET]
sudo dpkg-reconfigure console-setup
fez o truque.