Perguntas com a marcação «gnome-terminal»

Ao usar a alternância de tarefas no modo gráfico padrão do Ubuntu 12.04, se houver várias janelas do mesmo tipo, por exemplo. Em várias janelas do Terminal, você pode vê-las todas juntas e selecionar qual delas deseja. Meu problema é que a ordem dessas janelas é alterada constantemente. Segue a …

21 12.04  unity  gnome-terminal  settings  application-switcher 

Em uma instalação limpa do Ubuntu 12.10, o terminal-gnome padrão está relatando que $ TERM é xterm, onde deveria estar realmente relatando xterm-256color. Qual é a melhor maneira de mudar isso? Estou evitando colocar isso no meu .bashrc, pois isso está apenas causando problemas.

21 gnome-terminal 

Estou editando vários arquivos localizados na mesma pasta, em várias guias, em um único terminal. pwd(diretório em que estou trabalhando atualmente) é exibido na parte superior do cabeçalho do terminal, mas não o nome do arquivo que estou editando. Fica confuso ao trabalhar com vários arquivos no mesmo diretório. Como …

20 command-line  bash  gnome-terminal  vim 

Preciso de um atalho rápido para alterar o tamanho da fonte do terminal. Eu uso gnome-terminal. Eu tentei com Ctrl+ +e Ctrl+ -mas o tamanho não é alterado. Existe outro atalho? Posso adicionar um atalho como este?

20 shortcut-keys  fonts  gnome-terminal  shortcuts 

Criei um novo perfil para o gnome-terminal e posso alternar entre o perfil "Implícito" e o novo perfil criado, como você pode ver na imagem abaixo: Agora, pergunto-me como posso alternar entre perfis usando uma linha de comando / script ou talvez usando um atalho para isso. Nota: Soluções como: …

20 command-line  shortcut-keys  gnome-terminal 

Em um terminal GNOME, as formas padronizadas de se mover para a frente ou para trás por uma palavra não funcionam. Apesar do que a documentação diz: alt + b : retorna uma palavra de cada vez. alt + f : Avança uma palavra de cada vez. Se eu fizer …

19 gnome-terminal 

Quero ter uma opção como a Pesquisa no Google disponível no menu de contexto do texto selecionado no gnome-terminal . Algo semelhante à opção disponível no menu de contexto do texto selecionado no navegador google chrome / chromium / firefox: Então, algo semelhante, como na imagem acima, mas no terminal …

19 gnome-terminal  search  google 

Existe algum comando para exibir os arquivos modificados / criados recentemente? Qual...?

19 command-line  files  gnome-terminal 

É possível desativar os hiperlinks no terminal gnome? O terminal nunca deve sublinhar nenhum texto e os cliques sempre devem começar a ser selecionados. Há duas razões pelas quais eu quero fazer isso: primeiro, simplesmente clico em uma janela do terminal quando está na parte de trás, sem olhar o …

18 command-line  gnome-terminal 

Gostaria de definir o tema do Max OS X Terminal para o Ubuntu Terminal. Eu realmente gosto das fontes e das cores. É assim que o Mac Terminal se parece: Fonte da imagem Há poucas coisas que eu quero ver no Ubuntu Terminal: Quero substituir username@desktop:~/Dropbox$com o nome de usuário …

18 command-line  themes  fonts  mac  gnome-terminal 

Eu uso um script bash para iniciar o gnome-terminal com várias guias, cada uma usando um perfil, um diretório de trabalho diferente e, em alguns casos, executando um comando dentro da guia. Nessa situação, eu gostaria que a tecla de seta para cima recuperasse comandos que foram usados ​​em uma …

18 bash  gnome-terminal  bashrc 

Quando pressiono tab em um console, recebo essa saída Indicar todas as 2957 possibilidades? (s ou n) Existe alguma maneira de usar grepessas 2957 possibilidades? Eu gostaria de procurar todos os comandos com a palavra "svn" neles.

18 bash  gnome-terminal  console  grep 

Quero aumentar ou diminuir a transparência do terminal gnomo no Unity.

18 gnome-terminal  transparency 

Estou tentando encontrar o arquivo de configuração do terminal gnome no Ubuntu 16.04, mas não tive sorte nenhuma. Quero que o cursor não pare de piscar, e provavelmente existe um parâmetro de tempo limite que posso alterar, mas não consigo encontrar o arquivo para fazê-lo. Eu sei que isso pode …

18 gnome  gnome-terminal 

Eu tenho o Ubuntu-Gnome 14.04 (Gnome 3.12.2). Quando tento executar o gnome-terminalseguinte comando: $ gnome-terminal Error constructing proxy for org.gnome.Terminal: /org/gnome/Terminal/Factory0: Error calling StartServiceByName for org.gnome.Terminal: GDBus.Error:org.freedesktop.DBus.Error.Spawn.ChildExited: Process /usr/lib/gnome-terminal/gnome-terminal-server exited with status 8

18 gnome  gnome-terminal