Perguntas sobre 'gnome-terminal'

Tags
O Terminal do GNOME (frequentemente intitulado apenas "Terminal") é o emulador de terminal padrão incluído no Ubuntu.
0
respostas

define a variável $ HOME no perfil do gnome-terminal (para o bash)

Como faço isso? Eu tentei definir isso em um script e no "comando" para ser executado na inicialização nas preferências de perfil do gnome-terminal. Além disso, há um conjunto completo de arquivos .bashrc. * rc no novo local $ HOME que eu não...
24.01.2012 / 16:29
1
resposta

Como faço para abrir um programa do terminal e forçá-lo a permanecer no mesmo espaço de trabalho que o terminal?

Em meu trabalho diário, normalmente posso dividir a tarefa em duas ou três subtarefas, por exemplo, programação MATLAB, formatação de LaTeX e comunicação Skype. Para isso, gosto de manter as subtarefas diferentes em espaços de trabalho diferente...
06.05.2011 / 10:53
1
resposta

gnome-terminal Cor do plano de fundo

É possível configurar diferentes cores de fundo com base no gnome-terminaltitle?     
22.11.2010 / 12:01
2
respostas

Configurando aplicativos de inicialização no Redhat 5

Eu tenho um sistema operacional RedHat 5 e, quando ele é iniciado, vários terminais gnome são inicializados em espaços de trabalho e posições específicos. Gostaria de saber como posso configurar meus aplicativos de inicialização.     
26.10.2010 / 23:24
3
respostas

O terminal do Gnome come emacs desfaz a sequência de teclas

Estou executando o emacs 21 no gnome-terminal com a opção --nox. Quando pressiono C-_, o tamanho da fonte diminui em vez de o emacs desfazer minha ação anterior. Como eu evito que o terminal gnome coma a entrada?     
24.03.2010 / 11:58
1
resposta

Como faço para manter a largura do gnome-terminal diferente quando eu uso “reset”?

Quando eu uso reset no gnome-terminal (bash, Ubuntu 9.04), a largura da janela é redefinida, embora a altura não. No meu computador pessoal, isso não acontece no xterm ou no konsole. No meu computador de trabalho (RHEL 5 ou talvez 4), isso nã...
13.05.2010 / 04:18
9
respostas

Como faço para limpar o histórico do terminal do Gnome?

Quando usamos o comando clear ou Ctrl + L no terminal, ele limpa o terminal, mas ainda podemos rolar para trás para ver os últimos comandos usados. Existe uma maneira de limpar completamente o terminal?     
16.12.2011 / 14:18
7
respostas

Como renomear o título da guia do terminal no gnome-terminal?

Usado para clicar com o botão direito do mouse na guia e alterar o título. Não sei mais como fazer isso. Acabei de atualizar para o Fedora 21. EDIT: Eu mudei de gnome-terminal para ROXterm     
05.01.2015 / 17:48
3
respostas

A tecla ESC causa um pequeno atraso no terminal devido ao seu comportamento Alt +

Minha configuração de terminal é gnome-terminal + tmux + zsh com ligações de vi. Em aplicações como o vim ou mesmo no modo de edição vi da linha de comando do zsh, eu preciso pressionar com freqüência a tecla ESC , mas há um pequeno atraso a...
23.10.2011 / 13:02
3
respostas

Que tipo de terminal estou usando?

Eu testei isso com o Ubuntu 12.04 e com o Debian 7. Quando faço echo $TERM Eu obtenho xterm Mas se eu usar o menu suspenso "ajuda" > "about" então diz gnome terminal 3.4.1.1 . Isso significa que estou usando apenas o gnome-...
03.10.2013 / 05:52