Kliknij dwukrotnie wybór w Gnome Terminal

Dwukrotne kliknięcie słowa w terminalu gnome powoduje zaznaczenie całego słowa. Niestety ten wybór nie obejmuje dwukropków, przez co adresy URL nie są całkowicie wybrane, np. Za pomocą

http://foo.example.org/

tylko

//foo.example.org/

jest zaznaczony.

Jak skonfigurować to zachowanie wyboru, aby wybierać pełne adresy URL?

Zobacz też:

• Jak skonfigurować zachowanie podwójnego kliknięcia w terminalu X? - opisane zasoby nie są interpretowane przez Gnome Terminal
• gnome classic terminal mouse wybór podwójnego kliknięcia - okno dialogowe preferencji profilu Gnome Shell Terminal nie ma już tej opcji

To, co zostanie wybrane po podwójnym kliknięciu, można skonfigurować, dodając dodatkowe klasy znaków do zestawu domyślnego. Oznacza to, że dodanie dwukropka i innych znaków specjalnych, które mogą pojawiać się w adresach URL, prowadzi do podwójnego kliknięcia, również wyboru kompletnych adresów URL.

Można to skonfigurować za pomocą bazy danych konfiguracji gnome. W tym celu należy uzyskać identyfikator profilu powłoki gnome. Aby uzyskać domyślny:

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

Dodawanie niektórych znaków związanych z adresem URL:

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

Uwaga:

• @ms oznacza typ gvariant może-string
• składnia klasy znaków pasuje do wyrażenia regularnego, tzn. a-zokreśla zakres, w którym -azokreślono dosłownie 3 znaki. Dlatego wyraźnie postawiłem -pierwszą pozycję

Historia: W klasycznych wersjach Gnome Terminal okno dialogowe preferencji profilu zawierało pole do konfiguracji tych dodatkowych znaków. W Gnome 3 eksperci interfejsu użytkownika usunęli tę opcję z okna dialogowego, ponieważ uważali, że jest to zbyt skomplikowane w użyciu. Domyślna została również zmieniona po Fedorze 21 .