O XTerm aparentemente está ignorando o tamanho da fonte .Resources

Question

Estou tendo alguns problemas estranhos com relação aos tamanhos de fonte XTerm desde a atualização do Xenial.

O conteúdo real do terminal (prompts, saída, etc) parece excessivamente grande, e eu não posso ajustá-los através de .Xresources. Eu sou capaz de alterar o tamanho usando a opção Ctrl + clique (a opção "Tiny" está mais de acordo com o que costumava ser antes da atualização), mas a mudança não é permanente entre as sessões e eu prefiro corrigir a raiz do problema.

Outra coisa é que a fonte de diálogo Ctrl + clique parece excessivamente pequena por qualquer motivo.

As configurações de DPI são as mesmas de antes da atualização, e praticamente tudo o mais que eu executei no X não parece ter esse problema. É apenas o XTerm que está tendo esse problema.

Aqui está o bit relevante dos meus .Xresources:

XTerm*renderFont: True
XTerm*borderWidth: 0
XTerm*faceName: Bitstream Vera Sans Mono
xterm*faceSize: 8
xterm*vt100*geometry: 80x80
xterm*saveLines: 16384
*customization: -color
xterm*termName: xterm-256color
xterm*eightBitInput: false

Editar: O conteúdo de /etc/X11/app-defaults/XTerm na máquina problemática é exatamente o mesmo das outras máquinas, que não estão tendo esse problema específico, mas ainda estão no 14.04. Eles também têm exatamente a mesma cópia de .Xresources neles.

    

Answer 1

As configurações do aplicativo substituem os Xresources (ou .Xresouces), Você deve procurar em / etc / X11 / app-defaults / XTerm para alterar as fontes permanentemente. O SimpleMenu menuLabel.font é para o menu em si, os outros parecem

 *fontMenu*font2*Label:  Tiny
*VT100.font2:           5x7

ou

*VT100.utf8Fonts.font2: -misc-fixed-medium-r-normal--8-80-75-75-c-50-iso10646-1
*VT100.utf8Fonts.font:  -misc-fixed-medium-r-semicondensed--13-120-75-75-c-60-iso10646-1

Você pode alterar os valores para qualquer fonte listada na

xlsfonts

comando, mas restringir-se a fontes fixas tende a funcionar melhor. Todas as fontes como 5x7 são fixas, cinco pix de largura, sete de altura, por isso é fácil escolher uma maior. Os nomes mais longos têm um tamanho embutido no nome, (primeiro número), com uma resolução como 75-75 ou 100-100. Experimente vários de uma vez na fonte disponível2-6. A nova máquina pode ter uma resolução diferente, o que faz com que a mesma configuração pareça menor do que a antiga.

5x7 é a menor fonte padrão desse grupo, se for muito grande, você provavelmente terá um problema de resolução. Verifique a resolução do seu monitor (DASH / Configurações (engrenagem) / Displays). Se for menor que antes, talvez você precise (re) instalar qualquer driver de vídeo proprietário.