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?
Réponses:
Dans "Edition> Préférences de profil> Général", ajoutez le caractère dans la case "Caractères de sélection par mot".
dconf write /org/gnome/terminal/legacy/profiles:/:{your-profile-id}/word-char-exceptions '@ms "-,.;/?%&#_=+@~·:"'mais tout ce que je reçois esterror: Could not connect: Connection refused
[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)
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").
:. Est-il possible que vous puissiez écrire la (les) commande (s) pour récupérer automatiquement le profil par défaut ou actuel afin que je n'aie pas à rechercher manuellement mon ID de profil afin d'exécuter cette commande à l'avenir? De cette façon, je peux simplement exécuter ce script sur de nouvelles installations.
dconf list /org/gnome/terminal/legacy/profiles:/
word-char-exceptions, donc je peux ajouter un seul caractère?
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