On 06/15/2015 10:48 AM, Ahmad Samir wrote:
>From this gnome bug report[1], you can modify that setting using
a
command like this, as user:
$ dconf write /org/gnome/terminal/legacy/profiles:/:${Profile_ID}/word-char-exceptions
'@ms "-,.;/?%&#_=+@~ยท:"'
I added : at the end of the string.
To get the ${Profile_ID}:
$ gsettings get org.gnome.Terminal.ProfilesList list
['b1dcc9dd-5262-4d8d-a863-c897e6d979b9']
so it's b1dcc9dd-5262-4d8d-a863-c897e6d979b9 on my box.
[
1]https://bugzilla.gnome.org/show_bug.cgi?id=730632#c33 Found that just a few
minutes before I read your email. So far so good,
things are behaving the way they used to. Thanks.
--
Stephen Berg
Systems Administrator
NRL Code: 7320
Office: 228-688-5738
stephen.berg.ctr(a)nrlssc.navy.mil