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

Configurações de terminal inconsistentes nos diretórios

Isso é um pouco difícil de explicar, mas, por algum motivo, quando eu clico para um diretório específico na minha árvore de arquivos, o terminal e os displays dentro do terminal aparecem diferentes apenas dentro desse diretório. Por exemplo,...
22.07.2014 / 23:22
0
respostas

Barras de caminho desaparecem no prompt bash colorido

Portanto, no meu .bashrc, configurei meu prompt para ser colorido configurando PS1 para \[\e]0;\u@\h: \w\a\]${debian_chroot:+($debian_chroot)}\[3[01;32m\]\u@\h\[3[00m\]:\[3[01;34m\]\w\[3[00m\]$ Por algum motivo, todas as barras no cami...
02.04.2014 / 10:33
0
respostas

Como estender a seleção no gnome-terminal? Depende da versão?

Acabei de mover essa pergunta que fiz há algum tempo, do StackOverflow até aqui: Em um terminal eu posso selecionar uma única linha, clicando duas vezes com o botão esquerdo do mouse. Com o xterm, eu posso estender essa seleção clicando com...
27.06.2013 / 13:23
0
respostas

Use uma fonte não monoespaçada com o Terminal Gnome

Eu tenho uma fonte que gostaria de usar no Terminal do Gnome que o sistema operacional não reconhece como monoespaçada (garanto que sim). Existe alguma maneira de definir fonte do Terminal Gnome para algo que não é monospaced? A fonte em questão...
31.05.2013 / 18:56
1
resposta

Usando diferentes arquivos .cshrc.user

Eu tenho dois arquivos .cshrc.user para dois projetos diferentes. Por exemplo, eles definem as mesmas variáveis de ambiente, mas com valores diferentes. Quando estou alternando entre projetos, executo um script python que copia o arquivo...
20.02.2013 / 12:42
0
respostas

suporte de overlining no terminal

quando eu digito printf "\e[4m%s\e[0m\n" TESTING no terminal iterm ou osx, os testes retornam sublinhados. Existem terminais (mac ou linux) que suportam printf "\e[53m%s\e[0m\n" TESTING ?     
26.10.2012 / 19:12
1
resposta

Como estender a seleção no gnome-terminal?

Em um terminal, posso selecionar uma única linha, clicando duas vezes com o botão esquerdo do mouse. Com o xterm, posso estender essa seleção clicando com o botão direito do mouse no lugar que desejo estendê-lo. Então eu posso colar a seleção...
10.09.2012 / 09:54
1
resposta

salva a configuração das guias do terminal gnome

Como posso iniciar o gnome-termninal com 4 guias com raiz no mesmo diretório, com cada um tendo um título de guia distinto e um comando iniciado na inicialização. (um é o "shell" real, três outros são tail -F em arquivos de log) Eu gostari...
31.07.2012 / 11:48
0
respostas

Como mover o título da aba de cima para baixo no gnome-terminal no Ubuntu?

Eu amo konsole no redhat, mas agora tenho que trabalhar com o Ubuntu. Então eu instalei o konsole no Ubuntu, mas não parece bom, já que quando eu copio algo selecionando, o final da linha está cheio de espaço em branco. Muito feio! Embora...
01.06.2012 / 07:56
0
respostas

Vimrc para diferentes perfis do terminal gnome?

Eu quero carregar diferentes esquemas de cores VIM para diferentes perfis do terminal gnome. Na verdade, são duas perguntas: Como saber o nome do perfil ativo em uma sessão do gnome-terminal? Como testar variáveis do ambiente em scripts...
01.09.2011 / 02:52