Pilihan klik dua kali di Terminal Gnome

Mengklik dua kali pada sebuah kata di terminal gnome memilih seluruh kata. Sayangnya, pilihan ini tidak menyertakan titik dua sehingga URL tidak sepenuhnya dipilih, misalnya dengan

http://foo.example.org/

hanya

//foo.example.org/

dipilih.

Bagaimana cara mengkonfigurasi perilaku pemilihan ini sehingga URL lengkap dipilih?

Lihat juga:

• Bagaimana cara mengkonfigurasi perilaku klik ganda di terminal X? - sumber daya yang diuraikan tidak ditafsirkan oleh Terminal Gnome
• gnome classic terminal mouse klik dua kali seleksi - dialog preferensi profil Terminal Gnome Shell tidak memiliki opsi ini lagi

Berapa banyak yang dipilih pada klik ganda dapat dikonfigurasi melalui penambahan kelas karakter tambahan ke set default. Itu berarti bahwa menambahkan tanda titik dua dan karakter khusus lainnya yang mungkin muncul di URL mengarah ke klik dua kali juga memilih URL lengkap.

Ini dapat dikonfigurasi melalui database gnome config. Untuk itu kita harus mendapatkan id dari profil shell gnome. Untuk mendapatkan yang default:

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

Menambahkan beberapa karakter terkait URL:

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

Perhatikan bahwa:

• @ms menunjukkan tipe mungkin-string gvariant
• sintaks kelas karakter cocok dengan regex, yaitu a-zmenentukan rentang, di mana -azditentukan 3 karakter literal. Jadi, saya secara eksplisit telah menempatkan -di posisi pertama

Sejarah: Dalam versi Terminal Gnome klasik, dialog preferensi profil berisi bidang untuk mengonfigurasi karakter tambahan tersebut. Dengan Gnome 3, pakar UI telah menghapus opsi ini dari dialog karena mereka pikir itu terlalu rumit untuk digunakan. The bawaan juga berubah setelah Fedora 21 .