Ubuntu 18.10 gnome 终端 3.30.1
在 gnome 终端中,当我双击下面的单词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 值
您可以通过以下命令进行设置。
在以下命令中使用您的个人资料 ID 更改个人资料 ID。
我的是
a565cffd-62b9-4c43-bd4e-d4b48b2c3cb4
这是示例:
如果有人尝试使用 dconf 方法,它似乎不再适用于 ubuntu20 和其他人。这对我有用: