gnome classic terminal mouse double click selection
For gnome-terminal
:
In the menu bar, under Edit : Profile Preferences, tab General you will find Select-by-word chatacters. If you want the terminal to consider /
to be a word boundary for selection purposes, remove /
from the list of characters.
In some cases gnome-terminal
preferences doesn't have the select-by-word characters option. It still has the profile-ID you need for command-line configuration though: Obtain it in the edit -> profile preferences -> General tab on your profile.
use
dconf list /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/
to check whether it works. If no output, then the profile-id is not b1dcc9dd-5262-4d8d-a863-c897e6d979b9, copy pate the one from the preferences as descibed above.
then use:
dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/word-char-exceptions '@ms "-,.;?%&#_+@~·:$"'
with the correct profile-ID. Here I remove /
and =
from the list but add $
according to the OP's wish.
Note that you can still select a word which is split by this character, say iceweasel/stable
: double-click on the first part, then hold the shift
key and click on the second part.