gnome clássico mouse terminal clique duplo seleção

4

Estou executando o Ubuntu 12.04.5 lts. Quando eu faço uma seleção de clique duplo do mouse, gostaria de selecionar apenas uma palavra atual. Por exemplo, em uma linha como:

/home/xx/asdf

agora a linha inteira é selecionada quando clico em "xx". Também em uma linha como:

 $asdf=

Gostaria de selecionar os primeiros cinco caracteres - inclua $ na seleção. No momento, ele seleciona asdf= - 5 caracteres, incluindo o sinal de igual.

    
por gene 17.12.2014 / 18:57

2 respostas

4

Para gnome-terminal :

Na barra de menus, em Editar : Preferências de perfil , guia Geral , você encontrará Chatacters de seleção por palavra Se você quiser que o terminal considere / como um limite de palavra para fins de seleção, remova / da lista de caracteres.

    
por 17.12.2014 / 19:39
3

Em alguns casos, gnome-terminal preferences não possui a opção de seleção de caracteres por palavra. Ele ainda tem o ID de perfil que você precisa para configuração de linha de comando: Obtenha na edição - > preferências de perfil - > Guia Geral no seu perfil.

use

dconf list /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/

para verificar se funciona. Se não houver saída, então o ID do perfil não é b1dcc9dd-5262-4d8d-a863-c897e6d979b9, copie a pasta das preferências conforme descrito acima.

use então:

dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/word-char-exceptions '@ms "-,.;?%&#_+@~·:$"'

com o ID do perfil correto. Aqui eu removo / e = da lista, mas adiciono $ de acordo com o desejo do OP.

Observe que você ainda pode selecionar uma palavra dividida por esse caractere, digamos iceweasel/stable : clique duas vezes na primeira parte, segure a tecla shift e clique na segunda parte.

    
por 12.10.2015 / 11:16