Como posso alterar as fontes padrão de um shell?

Question

Como posso alterar as fontes padrão de um shell? Isto é o mesmo que mudar fontes para o xTerm? Estou usando o JeOS e gostaria de alterar as fontes, já que todo o trabalho que faço é no terminal.

Em segundo lugar, eu preferiria alterar as fontes do XTerm, em vez das do bash. Estou planejando mudar para zsh ou fishshell.

Alguma recomendação para o shell?

    

Answer 1

Os shells não têm fontes, mas o terminal em que elas funcionam provavelmente faz.

Altere a fonte do xTerm.

    

Answer 2

Primeiro você tem que descobrir o tipo de seu terminal. Emita "echo $ TERM" e, se for

vt100, vt200, ansi or the like

você tem que mudar a fonte do software de emulação de terminal que você usa (putty, hyperterm, o que for).

xterm ou aixterm

clique com o botão direito do mouse na janela enquanto mantém pressionada a tecla ALT (ou a tecla CTRL? não tenho certeza, apenas tente) e selecione um tamanho diferente no próximo menu. Para alterar as fontes selecionadas pelas entradas do menu (se você não gostar delas completamente), insira a string de recurso X apropriada em seu arquivo "$ HOME / .Xdefaults".

Aqui está um exemplo, que adicionará uma fonte com diacríticos alemães ("Umlauts") ao menu de fontes XTerm e rotulará como "ISO8859-Charset":

Código:

XTerm*VT100*font1: -ibm--medium-r-medium--20-14-100-100-c-90-iso8859-1
XTerm*fontMenu*font1*Label:   ISO8859-Charset

dtterm

basta selecionar "Opções" no menu. Para tornar a mudança duradoura, altere as preferências do CDE.

(fonte)