Eu realmente não percebo nenhuma mudança na velocidade de renderização no meu terminal com diferentes tipos de fontes (meu notebook tem um Intel Celeron de 2 GHz, então eu deveria notar uma mudança se houvesse algum). Eu até tentei com sans e serif fonts (não-monospace) e usando hinting , mas não notei nenhum aumento ou diminuição no desempenho de uso regular e não intensivo. Talvez tenha algo a ver com os drivers x da sua máquina. Pelo jeito que eu estou no Fedora 20, 64 bits.
No entanto, realizei uma pequena experiência com algumas fontes diferentes: terminus , dejavu mono (que é o mesmo que monospace ), liberation mono e open sans . Em dois emuladores de terminal diferentes e com diferentes configurações de dicas:
- Terminal Gnome, 1 milhão de linhas, buffer de 8192 linhas:
- Indicação de fonte completa:
- terminus 9
- Hora de inicialização:
0.348 - Tempo de execução:
16.137
- Hora de inicialização:
- monospace 9
- Hora de inicialização:
0.344 - Tempo de execução:
16.199
- Hora de inicialização:
- liberation mono 9
- Hora de inicialização:
0.357 - Tempo de execução:
16.120
- Hora de inicialização:
- aberto sem 9
- Hora de inicialização:
0.342 - Tempo de execução:
16.261
- Hora de inicialização:
- terminus 9
- Sugestão de fontes desativada:
- terminus 9
- Hora de inicialização:
0.351 - Tempo de execução:
16.134
- Hora de inicialização:
- monospace 9
- Hora de inicialização:
0.336 - Tempo de execução:
16.095
- Hora de inicialização:
- liberation mono 9
- Hora de inicialização:
0.349 - Tempo de execução:
16.391
- Hora de inicialização:
- aberto sem 9
- Hora de inicialização:
0.352 - Tempo de execução:
16.157
- Hora de inicialização:
- terminus 9
- Indicação de fonte completa:
- Terminal XFCE4, 1 milhão de linhas, buffer de 8192 linhas:
- Indicação de fonte completa:
- terminus 9
- Hora de inicialização:
0.064 - Tempo de execução:
16.127
- Hora de inicialização:
- monospace 9
- Hora de inicialização:
0.062 - Tempo de execução:
16.104
- Hora de inicialização:
- terminus 9
- Indicação de fonte completa:
Todos os tempos foram medidos usando o comando time e obtido apenas o valor real , o comando foi executado 10 vezes para cada configuração de fonte diferente e o valor exibido aqui é a média de cada lote de medidas, um novo terminal foi usado para cada execução.
Como você pode ver não há qualquer diferença perceptível entre as diferentes fontes e mesmo com ou sem sugestões, no entanto, a única coisa que aparece é a diferença dos tempos de inicialização entre o gnome-terminal e xfce4-terminal , onde gnome é ~ 554% mais lento que xfce, mas em circunstâncias normais isso é insignificante.