Двойной щелчок по тексту в терминале выделяет за границей слова
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
Подход 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 "-/@_&.?"'