Perguntas sobre 'gnome-terminal'

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

Como eu defino o perfil do terminal padrão?

Então, eu estava brincando com perfis no Terminal, queria saber como fazer o perfil que eu configurei como o perfil padrão sempre que eu carregar o terminal.     
11.02.2014 / 19:46
1
resposta

Como alterar as preferências de perfil do terminal gnome usando dconf ou gsettings?

Após a atualização do Ubuntu 14.10 para 15.10, parece que a mudança de gnome-terminal preferências usando gconftool-2 não é mais suportada. Acho que esse problema está relacionado à migração do Gconf para GSettings . Agora, eu gostaria...
09.02.2016 / 21:49
3
respostas

Problema ao forçar o Terminal do GNOME a se estender por vários monitores

Estou executando vim em gnome-terminal e, idealmente, gostaria que o modo de tela cheia fosse estendido em ambos os monitores, não apenas em um. Há alguma maneira de fazer isso? Se eu desabilitar o CCSM > Grid então eu posso esticar o t...
27.02.2012 / 02:01
4
respostas

O que o '|' (barra vertical) significa o caractere em um comando Terminal? [duplicado]

Exemplo: em um comando de terminal xdpyinfo | grep resolution (que tirei de uma resposta), o caractere | significa que a saída xdpyinfo deve ser enviada para a entrada do programa grep para imprimir uma linha contendo a cadeia resolution...
23.09.2013 / 14:39
1
resposta

Carregue arquivos de tema no Terminal Gnome no Ubuntu 15.04

Parece que o carregamento dos arquivos de tema do Gnome Terminal não funciona mais no Ubuntu 15.04: gconftool-2 --load terminal-flat-theme.xml Isso não altera meu tema atual. O arquivo de tema parece presente . Como posso carrega...
01.09.2015 / 21:33
3
respostas

Como automatizar as instâncias de terminal de partida para tarefas específicas

Estou passando por alguns tutoriais de programação e para cada sessão, eu tenho que iniciar pelo menos 3 janelas de terminal (uma para um arquivo de log, uma para testar a saída, uma para executar vários comandos shell etc.) Agora eu inicio t...
18.08.2010 / 04:14
4
respostas

Definindo títulos da guia Terminal

Estou tentando abrir algumas abas do terminal no gnome-terminal, e até agora consegui fazer alguma coisa , mas estou preso agora. Então, eu tenho o seguinte requisito: Abra as guias "X" e "Y" Execute alguns comandos Mantenha as guias...
10.04.2014 / 17:40
1
resposta

Onde está 'aberto no terminal'?

Estou tentando descobrir onde está 'open in terminal' quando clico com o botão direito dentro de uma pasta? A última vez que usei foi no Ubuntu 10.10 e desde a atualização não tenho sorte com isso. Eu desisti da Unity e usei o Gnome, mas ainda n...
22.06.2012 / 03:33
2
respostas

Como altero o diretório de trabalho padrão com o qual o gnome-terminal é aberto?

Não parece haver nenhuma maneira de alterar isso na GUI.     
24.08.2012 / 21:27
1
resposta

Como determinar o ID da janela do gnome-terminal no Ubuntu 17.10?

No Ubuntu 17.04 eu poderia usar wmctrl para mudar para uma janela do gnome-terminal com uma ID de janela: wmctrl -ia $gnome_term_winid O ID da janela de um dado gnome-terminal também pode ser exibido no terminal digitando: echo $...
22.10.2017 / 13:51