Desativar hiperlinks no terminal gnome

18

É 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 que está no terminal, e geralmente clico acidentalmente em um hiperlink existente. Segundo, ao usar o npm, haverá muito texto que se parece com endereços de e-mail, mas que não são, por exemplo, [email protected].

digory doo
fonte
Você quer dizer gconf-editor? Eu tentei isso, mas não encontrei a opção. OK, talvez eu tente outro emulador de terminal.
doo digory
11
Não, o Ubuntu agora usa dconf-editor. A gconf-editormaioria é preterida em versões mais recentes.
clearkimura
Verdade? É bom saber ...
digory doo 08/09/15

Respostas:

10

Infelizmente, o gnome-terminal não oferece opção de configuração para desativá-las. Você pode querer recompilar-lo, remover as entradas de url_regex_patternsno src/terminal-screen.c.

Esse recurso de hiperlink não influencia a seleção de texto normal pelo mouse; você ainda pode clicar e selecionar o texto. Clicar em um hiperlink para exibir a janela não deve ter nenhum efeito colateral indesejado. (O recurso influencia a seleção retangular raramente usada ( Ctrl+ Clique se torna "link aberto") e preenche o menu do botão direito com entradas extras.

Obviamente, entendo que sublinhar o texto e alterar a forma do ponteiro do mouse ao passar o mouse é visualmente desagradável quando você tem muitas correspondências falsas, mas não vejo como isso causa um problema comportamental real.


Atualizar:

A versão 3.18.3 do gnome-terminal reimplementa as expressões regulares do matcher do zero, de uma maneira que leva a muito menos falsos positivos do que nas versões anteriores. Por exemplo, "[email protected]" não é mais tratado como um endereço de email válido.

Egmont
fonte
Alguma idéia se ele pode ser configurado para permitir clicar no arquivo: /// ... caminhos com espaços? As estratégias usuais (aspas, escape) parecem não funcionar, ou seja, o que eu faço, não consigo obter um arquivo: /// ... url para ctrl + clique e abra corretamente porque o termo reconhece apenas a parte de o caminho até o primeiro espaço.
Tomislav Nakic-Alfirevic
11
O espaço não é um caractere permitido nos URIs, use-o %20. Se você espera que file://um nome de arquivo literal (não codificado) funcione, também terá problemas com muitos outros caracteres. Além disso, se fizermos um caso especial e permitirmos espaços, acho que seu próximo problema seria incluir o restante da linha / parágrafo e não parar nesse outro espaço ... então seria necessário ler sua mente, ou pelo menos verifique a existência do arquivo parando em vários caracteres de espaço ... não.
egmont
Isso mostra que nenhuma conclusão é óbvia demais para se perder quando você chega de um ângulo estranho: obrigado pelo comentário de% 20, foi o que aconteceu!
Tomislav Nakic-Alfirevic
8

Na verdade, ele funciona como você precisa no Ubuntu 14.04 (gnome-terminal 3.6) e no Ubuntu 15.04 (gnome-terminal 3.14)

Links ativados apenas com:

  • a Clique esquerdo enquanto mantém pressionado Ctrl
  • ou usando o botão direito do mouse → Abrir link.

Clique duplo faz a seleção.

user.dz
fonte
11
Solução legal, embora eu esperasse poder desligar todo o recurso.
digory doo
@digorydoo, qual versão você tem?
user.dz
11
É o Ubuntu 14.04.
Digory doo