Perguntas sobre 'gnome-terminal'

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

Variáveis de ambiente mágicas no gnome-terminal

Eu tinha instalado um software proxy (cntlm) na minha máquina. Define a variável de ambiente http_proxy para 127.0.0.1:3128 . Agora eu desinstalei o programa usando apt-get remove cntlm . No entanto, consigo ver a variável http_proxy:...
24.06.2015 / 17:38
2
respostas

Como eu removo os novos comandos do ambiente que foram criados pelo script virtualenvwrapper?

Eu instalei e executei virtuarenvwrapper.sh para tentar configurar uma versão alternativa do python no meu sistema. Este script colocou em algum lugar uma série de comandos que agora são executados sempre que eu abro gnome-terminal . Agora,...
09.06.2014 / 18:32
2
respostas

Como destacar algum texto em uma página man? [duplicado]

Acho muito difícil ler os manuais usando o terminal. Existe uma maneira de destacar texto específico no terminal? Eu tentei canalizar para gedit usando man man | gedit , mas ele abre um arquivo em branco. Talvez haja alguma maneira de...
18.01.2014 / 03:25
2
respostas

Como matar a janela do tmux automaticamente quando a janela do terminal é fechada?

Eu sou novo no tmux. Estou iniciando um processo em uma janela do tmux em uma janela de terminal. Quando eu fecho a janela do terminal, o processo não mata automaticamente, mas se eu matar janela tmux antes de fechar a janela do terminal, o p...
23.07.2013 / 02:53
2
respostas

Como faço para me livrar do pequeno nó no canto inferior direito do meu terminal?

Estou configurando o XMonad no Linux Mint e consegui remover a barra de menus e a barra de rolagem das janelas do terminal, mas não consigo me livrar do pequeno ponto de redimensionamento no canto inferior direito. Aqui está uma captura de tela:...
13.07.2012 / 01:17
3
respostas

Como reajustar o conteúdo ao redimensionar o gnome-terminal?

Algumas vezes, quando estou compilando um script, os parâmetros são tão longos que cobrem muitas linhas no terminal. Quando eu redimensiono o terminal para ler mais claramente, o conteúdo não se ajusta automaticamente ao tamanho do terminal....
27.03.2012 / 18:03
1
resposta

Como exportar um perfil gnome-terminal?

É possível exportar um perfil do terminal gnome para outro computador? Eu criei um perfil de terminal usando as preferências de edição > e salve-o como "def". Eu gostaria de salvar a configuração em um arquivo e usá-lo em outro computador....
09.06.2018 / 16:38
1
resposta

Como criar um script, que executa outro script em uma janela de terminal separada e não espera?

Eu escrevi o seguinte #!/bin/bash cd ~/bin/red5-1.0.0 gnome-terminal --working-directory=. -x red5.sh red5.sh é o script a ser executado (este é um servidor de mídia escrito em java). Meu script acima abre um novo terminal, mas com...
30.11.2012 / 10:50
1
resposta

Por que é que toda vez que eu digito errado um comando, o bash pára de funcionar? [fechadas]

Toda vez que digito errado um comando como cd.. (por exemplo, esqueci de separar cd e .. com um espaço), o prompt de comando desaparece e não consigo mais usar comandos no terminal, a menos que eu feche e reabra isso: [user@Host Down...
15.05.2018 / 18:54
2
respostas

Como executar o ulimit em um script com outro aplicativo

Temos o seguinte script (no CentoS 6) em nosso laboratório para executar nossos aplicativos com sua saída um por um. cd A/ sleep 1 gnome-terminal -t A --tab -e "./app1" cd ../B/ sleep 1 gnome-terminal -t b --tab -e "./app2" sleep 2 gnome-ter...
18.07.2017 / 08:01