Bisakah saya menentukan karakter apa yang mengatur batas pilihan klik dua kali di Terminal GNOME?

Ketika saya mengklik dua kali untuk memilih teks di Terminal GNOME, pilihan berhenti di spasi tetapi berlanjut lebih dari tanda hubung:

Beberapa nama file saya mengandung karakter yang tidak biasa seperti asterisk bercabang air mata yang berat dan tidak dapat dipilih dengan mengklik dua kali:

Apakah ada cara untuk membuat pemilihan klik ganda berlanjut di atas karakter-karakter ini juga?

Dalam "Edit> Preferensi Profil> Umum", tambahkan karakter ke kotak "Karakter per kata".

[Menambahkan jawaban karena jawaban yang diterima tidak lagi berfungsi.]

Naskah

Saya menggabungkan ini ke dalam skrip untuk mengatur pemisah kata:

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

Latar Belakang

Terminal GNOME telah membalik beberapa kali mengenai hal ini.

Fitur konfigurasi ini telah dihapus di gnome-terminal 3.14 (termasuk dalam Ubuntu 15.04 Vivid)

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

Kemudian di gnome-terminal 3.16 (termasuk dalam Ubuntu 15.10 Wily), opsi diperkenalkan kembali di bawah tenda, tetapi tanpa UI. Selain itu, titik dua: diubah untuk diperlakukan sebagai pemisah kata.

Editing dengan dconf

Per petunjuk ini, Anda dapat mengonfigurasi set menggunakan dconf: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1401207/comments/8

Saya suka menggunakan -#%&+,./:=?@_~sebagai set pemisah non-kata.

Perhatikan bahwa penggunaan titik dua ada / crazy /. Ya, ada: /: di sana.

1) edit -> preferensi profil -> tab Umum di profil Anda memiliki ID Profilnya, misalnya b1dcc9dd-5262-4d8d-a863-c897e6d979b9

2) periksa Anda sudah benar sintaks dengan:

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

Jika tidak mengembalikan apa-apa, Anda salah; coba lagi.

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

Secara khusus, ini memiliki ":" di, yang membuatnya memilih URL seperti yang saya harapkan. ( http://example.com tidak memilih "//example.com").

Fitur standar yang sangat berguna diimplementasikan di terminal lain adalah pemilihan progresif bagian yang diperluas dari garis di layar. mis. diberikan

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

mengklik dua kali, katakanlah, filenrdi dsr.filenr_34.ctrakan maju dari filenrmenjadi:

                              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

Simetri sekitarnya dapat diselesaikan dengan menambahkan pasangan sampai pembatas tingkat berikutnya.

Dan tentu saja pengguna harus diberi opsi untuk mengubah default.

Jawaban lain tidak berfungsi hari ini ... ini berfungsi di ubuntu 18.04 ... pertama kenali id ​​profil terminal gnome UUID Anda ... terbitkan di terminal ini

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

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

sekarang buat perubahan:

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

sampai ubuntu 18.04 diperbaiki, perintah baca berikut secara diam-diam gagal sedangkan itu berfungsi dengan baik di ubuntu 16.04

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

Memperluas @alberge jawaban, Anda dapat menjalankan python3skrip berikut untuk mengubah semua profil Anda untuk melakukan ini:

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

Atau Anda bisa menjalankan:

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