this worked for me to set all profiles as I wanted in 20.04
$ val='@ms "-,:.;/?%&#_=+@~ยท"'
$ profids=$(dconf list /org/gnome/terminal/legacy/profiles:/ | grep -v ^list$)
$ for profid in $profids; do dconf write
/org/gnome/terminal/legacy/profiles:/${profid%/}/word-char-exceptions "$val";
done
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1463072
Title:
highlighting on left mouse double click ends at : (colon)
To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-terminal/+bug/1463072/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
