Fare doppio clic sulla selezione in Gnome Terminal

Facendo doppio clic su una parola nel terminale GNOME si seleziona l'intera parola. Sfortunatamente, questa selezione non include due punti in modo tale che gli URL non siano completamente selezionati, ad esempio con

http://foo.example.org/

solo

//foo.example.org/

è selezionato.

Come configuro questo comportamento di selezione in modo tale che vengano selezionati URL completi?

Guarda anche:

Come configurare il comportamento del doppio clic in un terminale X? - le risorse descritte non sono interpretate da Gnome Terminal
selezione doppio clic del mouse del terminale classico di Gnome - la finestra di dialogo delle preferenze del profilo Terminale di Gnome Shell non ha più questa opzione

gnome3 gnome-terminal clipboard

— maxschlepzig
fonte

La quantità selezionata al doppio clic può essere configurata aggiungendo ulteriori classi di caratteri al set predefinito. Ciò significa che l'aggiunta di due punti e di altri caratteri speciali che possono apparire negli URL porta a un doppio clic selezionando anche URL completi.

Questo può essere configurato tramite il database di configurazione di gnome. Per questo bisogna ottenere l'ID del profilo della shell gnome. Per ottenere quello predefinito:

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

Aggiunta di alcuni caratteri relativi all'URL:

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

Nota che:

@ms indica il tipo gvariant forse stringa
la sintassi della classe di caratteri corrisponde a quella della regex, ovvero a-zspecifica un intervallo, dove sono stati -azspecificati i 3 caratteri letterali. Pertanto, ho esplicitamente messo -la prima posizione

Storia: Nelle versioni classiche di Gnome Terminal, la finestra di dialogo delle preferenze del profilo conteneva un campo per la configurazione di quei caratteri aggiuntivi. Con Gnome 3, gli esperti dell'interfaccia utente hanno rimosso questa opzione dalla finestra di dialogo perché pensavano che fosse troppo complicato da usare, però. L' impostazione predefinita è stata modificata anche dopo Fedora 21 .

— maxschlepzig
fonte

gli "esperti" dovrebbero essere tra virgolette. :>

— jhermann,

Se questo non funziona ( echo $pidè vuoto), prova:pid=$(dconf list /org/gnome/terminal/legacy/profiles:/ | tr -d ":/")

— rumpel

@rumpel, hm, quanto sopra dconf read ...funziona ancora per me su Fedora 26. Il comando list restituisce tutti gli ID profilo e le altre voci in quella directory. Quindi, probabilmente finirai con un comando di scrittura non valido se usi quella sostituzione di comando.

— maxschlepzig,

@rumpel, ho aggiornato la risposta. L'ottenimento del profilo predefinito dconffunziona solo se hai configurato più di un profilo e / o hai modificato l'impostazione del profilo predefinito. Altrimenti, il comando non restituisce nulla. Il gsettingscomando è di livello più alto e restituisce il valore predefinito per il profilo predefinito se non è impostato in modo esplicito (ad esempio quando si dispone di un solo profilo predefinito).

— maxschlepzig,

La proposta per fare in modo che ctrl-shift-clic copi un URL negli Appunti è su bugzilla.gnome.org/show_bug.cgi?id=786935 Il bug di Ubuntu per la regressione in cui la selezione degli URL è diventata più difficile nel 15.10, è qui, se si vuoi entrare

— nealmcb