zsh, bindkey a externi prikaz

[Martin Lebeda]

Ahoj,

zkousim shell zsh, nebot mau dajne proti bash spoustu vyhod, ale zatim jsem
narazil na nasledujici problem s prevodem stavajiciho nastaveni bash:

v ~/.inputrc mam napr. toto

"\e[[A":"ping ping 132.147.185."

potom staci stisknout F1, dopsat posledni cislo a oklepnout.
Jak toto provest v zsh?

Toto evidentne nefunguje a nepochopil jsem co s tim widgetem mam delat:

$ bindkey "\e[[A" 'ping 132.147.185.'
$
No such widget `ping 132.147.185.'

V dokumentaci nic takoveho ani neni, tam je bindkey jen na interni funkce.

diky za rady

-- 
Martin Lebeda

  ...nebruc, taky jsi se ucil...