Ubuntu 18.10 terminal gnome 3.30.1
No terminal gnome, quando clico duas vezes na palavra abaixo background
, faz sentido destacar apenas a palavrabackground
background=true
no entanto, destacabackground=true
O terminal de outras distros permite que você edite o conjunto de caracteres para definir um limite de palavra
Eu emito isso para encontrar meu UUID
sudo dconf list /org/gnome/terminal/legacy/profiles:/
que mostra
:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/
para ver os atributos disponíveis que eu emito
sudo dconf dump /org/gnome/terminal/legacy/profiles:/
resultado :
[:b1dcc9dd-5262-4d8d-a863-c897e6d979b9]
default-size-rows=42
default-size-columns=142
use-transparent-background=true
use-theme-colors=false
use-theme-transparency=false
scrollback-unlimited=true
background-color='rgb(28,30,31)'
background-transparency-percent=3
audible-bell=false
abaixo usado para trabalhar em versões anteriores do ubuntu para definir o atributoword-char-exceptions
sudo dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/word-char-exceptions '@ms "-#%&+,./:=?@_~"'
nenhuma das respostas aqui funciona em 18.10 Posso especificar quais caracteres definem o limite de seleção de clique duplo no Terminal do GNOME?
ATUALIZAÇÃO aqui é o que funciona
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ word-char-exceptions '@ms "-,.?%&#_+@~·/"'
apenas substitua b1dcc9dd-5262-4d8d-a863-c897e6d979b9
pelo seu próprio valor UUID
você pode configurá-lo por comandos abaixo.
altere o ID do perfil com o ID do seu perfil no comando abaixo.
o meu é
a565cffd-62b9-4c43-bd4e-d4b48b2c3cb4
aqui está o exemplo:
A abordagem dconf, caso alguém tente, não parece mais funcionar no ubuntu20 e talvez em outros. Isso funcionou para mim: