gnome-terminal & select by word characters

[Stephen Berg (Contractor)]

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 at nrlssc.navy.mil