Kann ich angeben, welche Zeichen die Doppelklick-Auswahlgrenze in GNOME Terminal festlegen?

Wenn ich in GNOME Terminal doppelklicke, um Text auszuwählen, stoppt die Auswahl bei Leerzeichen, wird aber über Bindestrichen fortgesetzt:

Einige meiner Dateinamen enthalten ungewöhnliche Zeichen, wie z. B. das durch Tropfen hervorgerufene Sternchen, und können nicht durch Doppelklicken ausgewählt werden:

Gibt es eine Möglichkeit, die Doppelklick-Auswahl auch bei diesen Zeichen fortzusetzen?

Fügen Sie unter "Bearbeiten> Profileinstellungen> Allgemein" das Zeichen in das Feld "Wortauswahl" ein.

[Hinzufügen einer Antwort, da die angenommene nicht mehr funktioniert.]

Skript

Ich habe dies in einem Skript zusammengefasst, um die Worttrennzeichen festzulegen:

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

Hintergrund

GNOME Terminal hat zu diesem Thema mehrmals Flip-Flops gemacht.

Diese Konfigurationsfunktion wurde in Gnome-Terminal 3.14 entfernt (in Ubuntu 15.04 Vivid enthalten)

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

Dann wurde in gnome-terminal 3.16 (in Ubuntu 15.10 Wily enthalten) die Option unter der Haube wieder eingeführt, jedoch ohne Benutzeroberfläche. Außerdem wurde der Doppelpunkt :geändert, um als Worttrennzeichen behandelt zu werden.

Bearbeitung mit dconf

Gemäß dieser Anleitung können Sie das Set mit dconf konfigurieren: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1401207/comments/8

Ich verwende gerne -#%&+,./:=?@_~als Satz von Nicht-Worttrennzeichen.

Beachten Sie, dass die Verwendung von Doppelpunkten dort / crazy / ist. Ja, da ist: /: drin.

1) Bearbeiten -> Profileinstellungen -> Die Registerkarte Allgemein in Ihrem Profil hat ihre Profil-ID, z. B. b1dcc9dd-5262-4d8d-a863-c897e6d979b9

2) Überprüfen Sie, ob Sie die richtige Syntax haben:

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

Wenn es nichts zurückgibt, haben Sie es falsch verstanden; Versuch es noch einmal.

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

Insbesondere hat dies ":", wodurch es URLs auswählt, wie ich es erwarte. ( http://example.com wählt nicht "//example.com" aus).

Eine sehr nützliche Standardfunktion, die in anderen Terminals implementiert ist, ist die fortlaufende Auswahl erweiterter Abschnitte einer Zeile auf dem Bildschirm. zB gegeben

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

Ein Doppelklick auf, sagen wir, filenrin dsr.filenr_34.ctrFortschritte würden von filenrzu:

                              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

Umgebungssymmetrien können durch Hinzufügen von Paaren bis zum nächsten Trennzeichen gelöst werden.

Natürlich sollte der Benutzer die Möglichkeit haben, die Standardeinstellungen zu ändern.

Andere Antworten funktionieren heute nicht ... dies funktioniert unter Ubuntu 18.04 ... zuerst die ID Ihres UUID-Gnome-Terminalprofils identifizieren ... dies im Terminal ausgeben

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

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

Jetzt ändere:

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

Bis Ubuntu 18.04 behoben ist, schlägt der folgende Lesebefehl unbemerkt fehl, wohingegen er unter Ubuntu 16.04 einwandfrei funktioniert hat

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

Wenn Sie @alberge answer erweitern, können Sie das folgende python3Skript ausführen , um alle Ihre Profile zu ändern:

#!/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!")

Oder Sie können einfach ausführen:

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