Двойной щелчок по тексту в терминале выделяет за границей слова

Ubuntu 18.10 GNOME Terminal 3.30.1

В терминале гнома, когда я дважды нажимаю на слово ниже background имеет смысл выделять только слово background

background=true

Однако это подчеркивает background=true

Терминал другого дистрибутива позволяет редактировать набор символов для определения границы слова

Я выдаю это, чтобы найти мой UUID

sudo dconf list /org/gnome/terminal/legacy/profiles:/

который показывает

:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/

для просмотра доступных атрибутов, которые я выдаю

sudo dconf dump /org/gnome/terminal/legacy/profiles:/

выход:

[: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

ниже используется для работы в предыдущих выпусках Ubuntu для определения атрибута word-char-exceptions

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

18.10 ни один из ответов здесь не работает. Могу ли я указать, какие символы задают границу выбора двойного щелчка в терминале GNOME?

ОБНОВЛЕНИЕ вот что работает

gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ word-char-exceptions  '@ms "-,.?%&#_+@~·/"' 

просто замени b1dcc9dd-5262-4d8d-a863-c897e6d979b9 с вашим собственным значением UUID

2 ответа

Решение

Вы можете установить его с помощью следующих команд.
измените идентификатор профиля с идентификатором профиля в приведенной ниже команде.
мой a565cffd-62b9-4c43-bd4e-d4b48b2c3cb4

gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:a565cffd-62b9-4c43-bd4e-d4b48b2c3cb4/ word-char-exceptions '@ms "-,.?%&#_+@~·/"'

вот пример:

pratap@i7-6550U:~$ gsettings get org.gnome.Terminal.ProfilesList list
['b1dcc9dd-5262-4d8d-a863-c897e6d979b9', 'a565cffd-62b9-4c43-bd4e-d4b48b2c3cb4']
pratap@i7-6550U:~$ gsettings get org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:a565cffd-62b9-4c43-bd4e-d4b48b2c3cb4/ word-char-exceptions
@ms nothing
pratap@i7-6550U:~$ gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:a565cffd-62b9-4c43-bd4e-d4b48b2c3cb4/ word-char-exceptions '@ms "-,.?%&#_+@~·/"'
pratap@i7-6550U:~$ 

https://i.s tack.imgur.com/raYaR.png

https://i.s tack.imgur.com/WYIk9.png

https://i.s tack.imgur.com/mgiQF.png

https://i.s tack.imgur.com/8cedY.png

Подход dconf на случай, если кто-нибудь попробует его, больше не работает на ubuntu20 и, возможно, на других. Это сработало для меня:

      UUID=$(gsettings get org.gnome.Terminal.ProfilesList default | tr -d \')
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:${UUID}/ word-char-exceptions '@ms "-/@_&.?"'   
Другие вопросы по тегам