O gnome-terminal usa cores brilhantes para fontes em negrito. É possível configurá-lo para usar a mesma cor nas fontes em negrito e nas fontes normais. Além disso, preciso de cores brilhantes em outro lugar, portanto, alterar a paleta de cores provavelmente não
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 é o tema que eu...
Eu posso usar atalhos de teclado e selecionar texto com o botão esquerdo do mouse me permite inserir a seleção no terminal gnome com o botão do meio do mouse. No entanto, a seleção do mouse com o botão esquerdo não a copia para a área de transferência e, portanto, não está disponível para outros...
Eu quero mudar a linha de comando do gnome-terminal para incluir geometria de tamanho e localização. Eu já sei como definir o tamanho usando o editor de configuração, mas não a localização. Deve haver algum arquivo que eu possa editar para adicionar --geometry 80x55-500+0ao terminal onde eu quero....
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...
Eu mudei do gnome-terminal para o urxvt. Estou acostumado a ter um menu de clique com o botão direito no gnome-terminal. Esses menus existem em urxvt?
Anteriormente, mudei meu título gnome-terminal para exibir em qual servidor eu estava logado. Não me lembro como fiz isso e não posso mudar agora. Eu corri através do meu .bashrc e não encontrei nada que pudesse configurá-lo, e loguei como su. Como superusuário, o título também muda. Eu...
Eu tenho um servidor HTTP mínimo escrito em python ( http://pastebin.com/mjLDk7Gk ) que simplesmente responde a todas as solicitações GET com status 200 e corpo "Done". Se eu fizer wget "http://localhost:9001" -O - -q Done Mas se eu deixar de fora o -q: wget "http://localhost:9001" -O -...
Quero carregar diferentes esquemas de cores do VIM para diferentes perfis do terminal gnomo. Na verdade, são duas perguntas: Como saber o nome do perfil ativo em uma sessão do terminal gnome? Como testar com variáveis de ambiente em scripts
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 é...
Eu gostaria de fazer um script (bash) que será programaticamente inicie o gnome-terminal com 6 guias cada com seu próprio título inicie um comando diferente em cada guia atrasar o início do servidor 5 até que o servidor 4 esteja em execução por aproximadamente 1 minuto altere o título do...
Como posso configurar a campainha do terminal para marcar a janela atual como urgente no gnome-terminal? Relacionado a essa questão . Estou usando o i3wm. Atualmente echo -e "\a" não faz nada mesmo se eu estiver em outro espaço de trabalho. Em suma, eu estou procurando o equivalente...
Eu tenho alguns servidores web em torno e para gerenciar o cluster eu às vezes usam script que abre automaticamente as conexões e sincroniza arquivos para eles usando scripts python, eu encontrei um problema estranho e eu realmente não sei como consertá-lo .. Para reproduzir o caso de teste, você...