Double-cliquez sur la sélection dans Gnome Terminal

Double-cliquez sur un mot dans le terminal gnome pour sélectionner le mot entier. Malheureusement, cette sélection n'inclut pas les deux-points de sorte que les URL ne sont pas complètement sélectionnées, par exemple avec

http://foo.example.org/

seulement

//foo.example.org/

est sélectionné.

Comment configurer ce comportement de sélection de sorte que les URL complètes soient sélectionnées?

Voir également:

• Comment configurer le comportement du double clic dans un terminal X? - les ressources décrites ne sont pas interprétées par Gnome Terminal
• gnome classic terminal mouse double click selection - la boîte de dialogue des préférences de profil du Gnome Shell Terminal n'a plus cette option

La quantité sélectionnée au double-clic peut être configurée en ajoutant des classes de caractères supplémentaires à l'ensemble par défaut. Cela signifie que l'ajout de deux points et d'autres caractères spéciaux qui peuvent apparaître dans les URL conduit à double-cliquer également sur la sélection des URL complètes.

Cela peut être configuré via la base de données de configuration gnome. Pour cela, il faut obtenir l'id du profil shell gnome. Pour obtenir celui par défaut:

puuid=$(gsettings get org.gnome.Terminal.ProfilesList default | tr -d "'")

Ajout de certains caractères liés à l'URL:

gsettings set \
org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$puuid/ \
    word-char-exceptions '@ms "-=&#:/.?@+~_%;"'

Notez que:

• @ms dénote le type gvariant à chaîne peut-être
• la syntaxe de la classe de caractères correspond à l'expression régulière, c'est-à-dire a-zspécifie une plage, où sont -azspécifiés les 3 caractères littéraux. Ainsi, j'ai explicitement mis le -en première position

Historique: Dans les versions classiques de Gnome Terminal, la boîte de dialogue des préférences de profil contenait un champ pour configurer ces caractères supplémentaires. Avec Gnome 3, les experts de l'interface utilisateur ont supprimé cette option de la boîte de dialogue car ils pensaient que c'était trop compliqué à utiliser. La valeur par défaut a également été modifiée après Fedora 21 .