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

Executa um comando em outro terminal

Estou procurando uma maneira de executar comandos de um script bash para dois terminais diferentes. Eu conheço uma maneira de fazer isso manualmente digitando "tty" em um terminal e redirecionando os comandos do outro terminal com a saída "tt...
07.04.2017 / 22:42
1
resposta

Como exibir caracteres Unicode de meia largura no gnome-terminal etc

Estou desejando configurar o vim com ocultação para exibir os caracteres unicode U + 2329 ( 〈 ) e U + 232A ( 〈 ) no lugar de < e > quando usado para indicar o tipo parâmetros. Esses são caracteres de meia largura que são exibidos...
03.07.2014 / 08:26
0
respostas

Atalho de teclado para abrir um novo terminal, se não existir um neste desktop. Caso contrário, foque o atual

Eu gostaria de criar um atalho de teclado que abrirá uma nova janela de terminal somente se nenhuma existir na área de trabalho atual. Caso contrário, o existente atualmente será focado. Acabei de atualizar do Fedora 24 para o Fedora 25. Antes d...
21.07.2017 / 19:21
1
resposta

Como encontrar o perfil atualmente usado do gnome-terminal com a linha cmd?

Estou usando o Ubuntu 16.04 e quero saber qual perfil é usado por um determinado emulador de terminal. Apenas o nome seria suficiente. É fácil encontrar com a GUI: basta clicar com o botão direito do mouse na janela do terminal, e o perfil em...
10.01.2017 / 10:39
0
respostas

Como fazer o fallback do fontconfig funcionar?

Estou tentando usar fontes powerline, mas a maioria das fontes powerline não parece muito boa no meu terminal. Em vez disso, eu gostaria de usar uma fonte regular não-Powerline e especificar uma fonte Powerline substituta para os caracteres espe...
24.09.2016 / 08:11
0
respostas

Como usar o 'gnome-terminal' com nova arquitetura cliente / servidor como wrapper?

Alguém sabe como acomodar a nova gnome-terminal-server magic? Antes de gnome-terminal ter sua nova arquitetura "cliente / servidor" eu costumava usá-lo como vim wrapper com grande sucesso por muitos anos. Como --disable-factory fo...
18.08.2016 / 16:02
0
respostas

Por que esses comandos gconftool-2 pararam de funcionar no Ubuntu 16.04?

No ubuntu 14.04, a execução desses comandos gconftool-2 em um prompt de comando alteraria as configurações do perfil para o terminal gnome. gconftool-2 --set /apps/gnome-terminal/profiles/Default/background_color --type string "#393939" gc...
08.05.2016 / 23:27
0
respostas

Script pequeno para atualizar as cores do Terminal GNOME 3.14.2

Antecedentes Com versões anteriores do GNOME Terminal , a atualização do esquema de cores foi muito fácil. Apenas 5 linhas de código foram suficientes para fazer o truque. gconftool-2 -s -t bool /apps/gnome-terminal/profiles/Default/use...
02.11.2015 / 02:06
4
respostas

Altera o prompt ao iniciar um terminal a partir do script bash (mas não afeta todos os terminais)

Eu tenho dois terminais instalados, gnome-terminal e xfce4-terminal . Eu gostaria de ter apenas o terminal xfce mostrando um prompt simples > as quando eu iniciá-lo. O prompt gnome-terminal deve permanecer inalterado (portanto,...
01.11.2014 / 23:36
1
resposta

configura a cor da guia em um emulador de terminal com guias

Eu gostaria de definir no meu emulador de terminal (ou seja, gnome-terminal) a cor das guias, como no emulador de terminal do osx. Existe esse recurso em qualquer uma das pletora do emulador de terminal linux? EDIT: abaixo de uma imagem para...
05.02.2014 / 13:38