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@xxxxxxxxxxxxxxx
--
users mailing list
users@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe or change subscription options:
https://admin.fedoraproject.org/mailman/listinfo/users
Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct
Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines
Have a question? Ask away: http://ask.fedoraproject.org
