Puis-je spécifier quels caractères définissent la limite de sélection du double-clic dans le terminal GNOME?

Lorsque je double-clique pour sélectionner du texte dans GNOME Terminal, la sélection s'arrête aux espaces mais continue sur les tirets:

Certains de mes noms de fichiers contiennent des caractères inhabituels tels que l' astérisque à gros rayons en forme de larme et ne peuvent pas être sélectionnés en double-cliquant:

Existe-t-il un moyen de continuer la sélection par double-clic sur ces caractères?

Dans "Edition> Préférences de profil> Général", ajoutez le caractère dans la case "Caractères de sélection par mot".

[Ajout d'une réponse car la réponse acceptée ne fonctionne plus.]

Scénario

J'ai mis cela ensemble dans un script pour définir les séparateurs de mots:

https://github.com/ab/ubuntu-wart-removal/blob/master/gnome-terminal-word-separators.sh

Contexte

Le terminal GNOME a basculé à plusieurs reprises sur ce sujet.

Cette fonctionnalité de configuration a été supprimée dans gnome-terminal 3.14 (incluse dans Ubuntu 15.04 Vivid)

• https://bugzilla.gnome.org/show_bug.cgi?id=727743
• https://bugzilla.gnome.org/show_bug.cgi?id=730632

Puis dans gnome-terminal 3.16 (inclus dans Ubuntu 15.10 Wily), l'option a été réintroduite sous le capot, mais sans interface utilisateur. De plus, deux points ont :été modifiés pour être traités comme un séparateur de mots.

Édition avec dconf

Selon ces instructions, vous pouvez configurer l'ensemble à l'aide de dconf: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1401207/comments/8

J'aime utiliser -#%&+,./:=?@_~comme ensemble de séparateurs non-mot.

Notez que l'utilisation des deux-points est / crazy /. Oui, il y a: /: là-dedans.

1) modifier -> préférences de profil -> l'onglet Général de votre profil a son ID de profil, par exemple b1dcc9dd-5262-4d8d-a863-c897e6d979b9

2) Vérifiez que vous avez la bonne syntaxe avec:

$ dconf list /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/ foreground-color visible-name palette use-system-font ...

S'il ne renvoie rien, vous vous trompez; réessayer.

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

Plus précisément, cela a ":" dans, ce qui lui permet de sélectionner des URL comme je l'attends. ( http://example.com ne sélectionne pas "//example.com").

Une fonction par défaut très utile implémentée dans d'autres terminaux est la sélection progressive de sections étendues d'une ligne à l'écran. par exemple, étant donné

/home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677 dftrprpr

double-cliquer sur, disons, filenren dsr.filenr_34.ctrpasserait de filenrà:

                              filenr_34
                          dsr.filenr_34.ctr
                       -3/dsr.filenr_34.ctr
                      2-3/dsr.filenr_34.ctr
                    r.2-3/dsr.filenr_34.ctr
               dir1_r.2-3/dsr.filenr_34.ctr
      username/dir1_r.2-3/dsr.filenr_34.ctr
 home/username/dir1_r.2-3/dsr.filenr_34.ctr
 home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677
 home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677 dftrprpr
/home/username/dir1_r.2-3/dsr.filenr_34.ctr 23456677 dftrprpr

Les symétries environnantes peuvent être résolues en ajoutant des paires jusqu'au délimiteur de niveau suivant.

Et bien sûr, l'utilisateur devrait avoir la possibilité de modifier les paramètres par défaut.

Les autres réponses ne fonctionnent pas aujourd'hui ... cela fonctionne sur ubuntu 18.04 ... identifiez d'abord votre identifiant de profil de terminal gnome UUID ... émettez ceci dans le terminal

profile=$(gsettings get org.gnome.Terminal.ProfilesList default)

echo $profile  #  for me it gives b1dcc9dd-5262-4d8d-a863-c897e6d97969

maintenant changez:

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

jusqu'à ce qu'ubuntu 18.04 soit corrigé, la commande de lecture suivante échoue silencieusement alors qu'elle fonctionnait bien sur ubuntu 16.04

dconf  read  /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/word-char-exceptions

En étendant la réponse @alberge, vous pouvez exécuter le python3script suivant pour modifier tous vos profils pour ce faire:

#!/usr/bin/python3

import subprocess

command = ["dconf", "list", "/org/gnome/terminal/legacy/profiles:/"]
result = subprocess.run(command, stdout=subprocess.PIPE, stderr=subprocess.PIPE, universal_newlines=True)

profiles = result.stdout.split('\n')

for profileString in profiles:
    if profileString.startswith(":"):
        changeCmdPart = "/org/gnome/terminal/legacy/profiles:/" + profileString + "word-char-exceptions"
        changeCmd = ["dconf", "write", changeCmdPart, '@ms "-#%&+,./:=?@_~"']
        subprocess.run(changeCmd)

print("done!")

Ou vous pouvez simplement exécuter:

curl -s http://scripts.programster.org/scripts/5?output=raw | python3