Doppelklicken Sie im Gnome Terminal auf die Auswahl

Durch Doppelklicken auf ein Wort im Gnome-Terminal wird das gesamte Wort ausgewählt. Leider enthält diese Auswahl keine Doppelpunkte, sodass URLs nicht vollständig ausgewählt sind, z. B. mit

http://foo.example.org/

nur

//foo.example.org/

ist ausgewählt.

Wie konfiguriere ich dieses Auswahlverhalten so, dass vollständige URLs ausgewählt werden?

Siehe auch:

Wie konfiguriere ich das Doppelklickverhalten in einem X-Terminal? - Die beschriebenen Ressourcen werden vom Gnome Terminal nicht interpretiert
Doppelklick-Auswahl für gnome classic terminal mouse - Das Dialogfeld mit den Profileinstellungen für Gnome Shell Terminal verfügt nicht mehr über diese Option

gnome3 gnome-terminal clipboard

— maxschlepzig
quelle

Wie viel per Doppelklick ausgewählt wird, kann durch Hinzufügen zusätzlicher Zeichenklassen zum Standardsatz konfiguriert werden. Das bedeutet, dass das Hinzufügen eines Doppelpunkts und anderer Sonderzeichen, die möglicherweise in URLs angezeigt werden, zu einem Doppelklick führt und auch vollständige URLs auswählt.

Dies kann über die Gnome-Konfigurationsdatenbank konfiguriert werden. Dazu muss man die ID des Gnome-Shell-Profils erhalten. So erhalten Sie die Standardeinstellung:

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

Hinzufügen einiger URL-Zeichen:

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

Beachten Sie, dass:

@ms bezeichnet den gvarant-Typ der Zeichenfolge
Die Syntax der Zeichenklasse stimmt mit der Regex-Syntax überein, dh a-zgibt einen Bereich an, in dem -azdie Literal-3-Zeichen angegeben sind. Daher habe ich das ausdrücklich -an die erste Stelle gesetzt

Verlauf: In klassischen Gnome Terminal-Versionen enthielt das Dialogfeld "Profileinstellungen" ein Feld zum Konfigurieren dieser zusätzlichen Zeichen. Mit Gnome 3 haben UI-Experten diese Option aus dem Dialogfeld entfernt, weil sie der Meinung waren, dass sie zu kompliziert zu verwenden ist. Die Standardeinstellung wurde auch nach Fedora 21 geändert .

— maxschlepzig
quelle

"Experten" sollten in Anführungszeichen stehen. :>

— Jhermann

Wenn dies nicht funktioniert ( echo $pidleer ist), versuchen Sie:pid=$(dconf list /org/gnome/terminal/legacy/profiles:/ | tr -d ":/")

— Rumpel

@rumpel, hm, das oben genannte dconf read ...funktioniert immer noch für mich unter Fedora 26. Ihr Listenbefehl gibt alle Profil-IDs und andere Einträge in diesem Verzeichnis zurück. Wenn Sie diese Befehlsersetzung verwenden, erhalten Sie wahrscheinlich einen fehlerhaften Schreibbefehl.

— Maxschlepzig

@rumpel, ich habe die Antwort aktualisiert. Das Abrufen des Standardprofils mit dconffunktioniert nur, wenn Sie mehr als ein Profil konfiguriert und / oder die Standardprofileinstellung geändert haben. Andernfalls gibt der Befehl nichts zurück. Der gsettingsBefehl ist übergeordneter und gibt den Standardwert für das Standardprofil zurück, wenn er nicht explizit festgelegt ist (z. B. wenn Sie nur das eine Standardprofil haben).

— Maxschlepzig

Der Vorschlag, eine URL bei gedrückter Strg-Umschalttaste in die Zwischenablage zu kopieren, finden Sie unter bugzilla.gnome.org/show_bug.cgi?id=786935 Der Ubuntu-Fehler für die Regression, bei der die Auswahl von URLs in 15.10 schwieriger wurde, ist hier, wenn Sie Ich

— einschalten