Seleção de duplo clique no Terminal do Gnome

9

Clicar duas vezes em uma palavra no terminal gnome seleciona a palavra inteira. Infelizmente, essa seleção não inclui dois pontos, de forma que os URLs não são completamente selecionados, por exemplo, com

http://foo.example.org/

apenas

//foo.example.org/

está selecionado.

Como configuro esse comportamento de seleção de modo que os URLs completos sejam selecionados?

Veja também:

por maxschlepzig 18.06.2016 / 09:20

1 resposta

13

O quanto é selecionado no clique duplo pode ser configurado por meio da adição de classes de caracteres adicionais ao conjunto padrão. Isso significa que adicionar dois pontos e outros caracteres especiais que podem aparecer em URLs leva a um clique duplo e à seleção de URLs completos.

Isso pode ser configurado através do banco de dados de configuração do gnome. Para isso, é necessário obter o id do perfil do shell do gnome. Para obter o padrão:

puuid=$(gsettings get org.gnome.Terminal.ProfilesList default | tr -d "'")

Adicionando alguns caracteres relacionados a URL:

gsettings set \
org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$puuid/ \
    word-char-exceptions '@ms "-=&#:/.?@+~_%;"'

Observe que:

  • @ms denota o tipo gvariant de cadeia talvez
  • a sintaxe da classe de caracteres corresponde à expressão regular, ou seja, a-z especifica um intervalo, em que -az especificou os 3 caracteres literais. Assim, coloquei explicitamente o - na primeira posição

Histórico: Nas versões clássicas do Terminal Gnome, a caixa de diálogo de preferências de perfil continha um campo para configurar esses caracteres adicionais. Com o Gnome 3, especialistas em UI removeram essa opção da caixa de diálogo porque achavam que era muito complicado de usar. O padrão também foi alterado após o Fedora 21 .

    
por 18.06.2016 / 09:20