Lors d'un double-click sur un mot, Gnome-Terminal sélectionne tout le mot. Certains caractères peuvent être inclus dans un mot comme le dollar, ou le deux-points.

Pour modifier les caractères qui doivent être utilisés dans un mot, il faut modifier la configuration. Celle-ci était historiquement disponible dans le menu de profil, mais il faut maintenant taper en dconf.

Vérifier que Gnome-Terminal est bien installé et paramétrable :
dconf list /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/

word-char-exceptions

Récupérer la valeur antérieure :
dconf read /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/word-char-exceptions

@ms '-=&#:/.?@+~_%;$'

Enregistrer la nouvelle valeur:
dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/word-char-exceptions "@ms '-&#/.?@+~_%$'"
Les deux-points ne sont plus sélectionnés, ni le égal.