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.