Gnome Terminalinde seçimi çift tıklayın


11

GNOME terminalinde bir kelimeye çift tıklamak tüm kelimeyi seçer. Maalesef, bu seçim, URL'lerin tamamen seçilmediği, örneğin

http://foo.example.org/

bir tek

//foo.example.org/

seçildi.

Tam URL'ler seçilecek şekilde bu seçim davranışını nasıl yapılandırabilirim?

Ayrıca bakınız:

Yanıtlar:


17

Çift tıklamada ne kadar seçileceği varsayılan kümeye ek karakter sınıfları eklenerek yapılandırılabilir. Bu, URL'lerde görünebilecek iki nokta üst üste ve diğer özel karakterlerin eklenmesinin, tam URL'leri de seçerek çift tıklamaya yol açtığı anlamına gelir.

Bu, gnome yapılandırma veritabanı üzerinden yapılandırılabilir. Bunun için gnome kabuk profilinin kimliğini almak zorunda. Varsayılanı almak için:

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

URL ile ilgili bazı karakterler ekleme:

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

Bunu not et:

  • @ms "belki" dizeli gvaryant tipini belirtir
  • karakter sınıfı sözdizimi normal ifadeyle eşleşir, yani değişmez 3 karakterini a-zbelirten bir aralık -azbelirtir. Böylece, açıkça -birinci pozisyona koydum

Geçmiş: Klasik Gnome Terminali sürümlerinde, profil tercihi iletişim kutusu bu ek karakterleri yapılandırmak için bir alan içeriyordu. Gnome 3 ile, UI uzmanları bu seçeneği iletişim kutusundan çıkardılar çünkü yine de kullanmak için çok karmaşık olduğunu düşündüler. Varsayılan ayrıca Fedora 21 sonra değiştirildi .


9
"uzmanlar" tırnak içinde olmalıdır. :>
jhermann

1
Bu işe yaramazsa ( echo $pidboş), şunu deneyin:pid=$(dconf list /org/gnome/terminal/legacy/profiles:/ | tr -d ":/")
18'de

@rumpel, hm, yukarıdakiler dconf read ...Fedora 26'da hala benim için çalışıyor. Liste komutunuz tüm profil kimliklerini ve dizindeki diğer girişleri döndürür. Bu nedenle, bu komut değiştirme işlemini kullanırsanız, büyük olasılıkla hatalı biçimlendirilmiş bir yazma komutuyla karşılaşırsınız.
maxschlepzig

1
@rumpel, cevabı güncelledim. Varsayılan profili elde etmek dconfyalnızca yapılandırılmış birden fazla profiliniz varsa ve / veya varsayılan profil ayarını değiştirdiyseniz çalışır. Aksi takdirde, komut hiçbir şey döndürmez. gsettingsKomut daha fazla üst düzey olduğunu ve açıkça ayarlı değilse varsayılan profil için varsayılan değeri döndürür (örn Yalnızca bir varsayılan profili varken).
maxschlepzig

Ctrl-shift-click-click panosuna bir URL kopyalamak için teklif bugzilla.gnome.org/show_bug.cgi?id=786935 URL'leri seçmenin 15.10'da zorlaştığı regresyon için Ubuntu hatası, eğer içine girmek istiyorum. bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1501250
nealmcb
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.