Perguntas com a marcação «gnome-terminal»

O GNOME Terminal é um emulador de terminal para o ambiente de área de trabalho GNOME. Entre seus principais recursos estão o suporte a vários perfis, texto colorido, guias, suporte a mouse, detecção de URL, várias personalizações da interface do usuário e opções de compatibilidade.







2
guia ativa indistinguível no terminal gnome
Estou executando o Gnome 2.30.2 e o Gnome Terminal 3.0.1 no meu Debian Sid e, recentemente, a guia ativa tornou-se quase indistinguível de outras guias. Na verdade, é da mesma cor. Alterar os temas não ajudou muito e apenas usar o tema de alto contraste faz a diferença, que é …





3
Por que o terminal gnome exibe ?
Estou usando o Ubuntu 10.04 com o GNOME Terminal 2.30.2, mas quando ssh em um servidor RedHat, meu terminal não é exibido corretamente. Por exemplo, as páginas de ajuda para R são assim: Objects of class ���"glm"��� are normally of class ���c("glm", "lm")���, that is inherit from class ���"lm"���, and …



1
Como permitir que o gnome-terminal use fontes específicas para exibir pontuações em suas formas de largura total? (· '' “”)
Eu gostaria de usar a fonte SimSun (宋体) para exibir pontos intermediários / intermediários· , aspas simples (onduladas) ‘’, aspas duplas (onduladas)“” em seus formulários de largura total , porque é fácil diferenciá-los de .(ponto) '(aspas simples) "(aspas duplas) e essa visibilidade distinta é especialmente útil ao digitar código usando …

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.