Perguntas sobre 'gnome-terminal'

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

Como escrever script Bash Qual é o comando para abrir um terminal com dois terminais tabelados diferentes e executar algumas guias de comandos separadamente?

Como escrever script Bash para abrir um terminal com duas guias e executar comandos em ambas as guias? por exemplo: tab 1 abre o skype a guia 2 abre o navegador do chromel No final, quero mais uma coisa: escrever um script bash com meu n...
20.10.2012 / 13:15
1
resposta

como obter saída de um script / programa em um arquivo?

Estou compilando um programa usando make e quero que a saída de make seja gravada em um arquivo. Eu tentei usar o > operador como make > build_log.txt e usando o comando tee como make | tee build_log.txt mas o problema é que...
16.06.2011 / 11:49
4
respostas

Como encontrar processos ainda em execução em um terminal?

Quando tento fechar uma guia no Terminal do Gnome, ele diz:    Fecha este terminal? Ainda há um processo em execução neste terminal. Fechar o terminal irá matá-lo. Como posso descobrir o que ainda está em execução? Observe que não há nada...
14.05.2016 / 16:48
3
respostas

Gnome Terminal Infinite loop

sem saber eu coloquei gnome-terminal --geometry=120x80+50+50 comando no comando Editar > do terminal Gnome e no comando personalizado de execução do general & preferences. Agora, quando eu inicio o terminal, ele continua reiniciando, p...
25.02.2015 / 14:57
2
respostas

Obtendo ctrl + backspace para deletar palavras no modo gnome-terminal e vim insert

Parece que <ctrl> + W apaga uma palavra de cada vez. Isso é ótimo, mas eu realmente realmente funcionaria com <ctrl> + <backspace> como a maioria dos outros aplicativos. Qual é a melhor maneira de fazer isso? Eu precis...
24.11.2015 / 06:19
1
resposta

Alterar tamanho padrão do terminal

Executando o uBuntu 14.04 LTS. Quando eu corro o terminal, ele sempre aparece no modo 80x24. Se eu passar o mouse sobre a barra de título, uma série de opções de menu será exibida. Na opção "Terminal", posso alterar qualquer um dos seguintes pro...
21.11.2015 / 21:25
1
resposta

Qual é a diferença entre terminais virtuais e terminais Gnome?

Estou confuso ... existem 3 tipos de terminais que vi no Ubuntu xTerm, Terminal (Terminal Gnome), iniciado com Ctrl + Alt + T e Terminais virtuais, iniciados com Ctrl + Alt + F1-F6 Por que existem muitos terminais e qual é o seu objetivo?...
20.05.2012 / 12:03
3
respostas

Como fazer com que o cursor mude de linha fina para bloco com base no modo normal ou de inserção no Console Vim no Terminal do Gnome

Estou mudando do Gvim para o Console Vim usando o Terminal Gnome 2.32.1. Eu gostei muito do Gvim como o cursor seria um quadrado sólido quando no modo normal e linha fina quando no modo de inserção. Existe uma maneira de produzir essa fu...
14.05.2011 / 09:03
1
resposta

Qual terminal é esse?

Qual é o terminal e de onde consigo um terminal tão bonito no Ubuntu?     
12.09.2017 / 17:49
2
respostas

Existe uma maneira de encurtar (não remover) o caminho exibido no terminal por um alias

Eu quero algo assim: "vivek@grishma:~/xxx/yyy/zzz/src$" a ser exibido como "vivek@grishma:datasource$" onde de alguma forma eu teria predefinido "datasource" para ser um alias para o longo caminho acima. usando o comando alias com...
01.04.2014 / 15:53