ghci

2009-12-01 18 views
9

'un readline keybindings'leri nasıl özelleştirilir? Ghci'nin readline'ı desteklediğini ve^W ve^U gibi keybindings'in beklendiği gibi çalıştığını biliyorum. Ama ghci'nin, basçıkların özelleştirilmesine destek vermesinin, tıpkı inputrc ile başa çıkmak gibi bir yolu destekleyip desteklemediğini merak ediyorum.ghci

Her türlü geri bildiriminiz için teşekkür ederiz.

cevap

14

GHC sürümünüz nedir? GHCi, readline'ı kullanmayı bıraktı ve 6.12 civarında yaklaşık 6.10 ve haskeline civarında libedit kullanmaya başladı. libidit ~/.editrc; benzer şekilde Haskeline'ın ~/.haskeline vardır. yeni libedit için taleb geçiş yaptınız mysql kurar ile de yardımcı olur Yukarıdaki örnekte, benim

 
# ~/.inputrc (for readline) 
"\e[5~": history-search-backward 
"\e[6~": history-search-forward 
+0

Nazik yardımlarınız için teşekkürler, efendim! – Adaptee

1

@ ephemient cevabını maç için

 
# ~/.editrc (for libedit) 
edit on 
bind ^R em-inc-search-prev 
bind ^S em-inc-search-next 
bind ^[[5~ ed-search-prev-history 
bind ^[[6~ ed-search-next-history 

var. Ben mysql içine çalışmak için kullanılan eski sürümle uyumlu

$ ~/.editrc: 
bind ^[[A ed-search-prev-history 
bind ^[[B ed-search-next-history 

kullandı:

$ ~/.inputrc: 
"\e[A":history-search-backward 
"\e[B":history-search-forward 

(benim tek sıkıntı şimdi sadece kaydırmak ve arama değil istiyorsanız, sahip olduğum yazmak için bir "." her satırın ilk eşleşmesi).