Gnome Terminal Double-click Character Selection

Writing this down because it's handy. I double-click things in gnome-terminal all the time to select them, but the default excludes the colon character so things like URLs and IPv6 addresses don't select correctly.

To fix this, you'll need the UUID Profile ID by opening the preferences dialog, then clicking on the profile you wish to change - it's listed at the bottom.

You can also get it from the commandline:

gsettings list-keys org.gnome.Terminal.ProfilesList
gsettings get org.gnome.Terminal.ProfilesList default

Then in a terminal, substituting your UUID, run:

dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d879b0/word-char-exceptions '@ms "-#%&+,./:=?@_~"'