Pour créer un raccourci clavier pour les informations dans Zsh?
-
08-07-2019 - |
Question
Zsh a le raccourci clavier suivant pour Man
Échap + h
Je souhaite disposer d'un raccourci clavier similaire pour des informations telles que
Échap + i
Comment créer un tel raccourci clavier pour les informations?
La solution
Cela devrait faire l'affaire:
function run_info() {
# Prepend "info" to the command line and run it.
BUFFER="info $BUFFER"
zle accept-line
}
# Define a widget called "run_info", mapped to our function above.
zle -N run_info
# Bind it to ESC-i.
bindkey "^[i" run_info
Il suffit de couper et de coller cela dans un shell pour l'essayer et de l'ajouter à votre .zshrc pour obtenir un effet permanent.
Pour paraphraser le code: l’idée générale est que nous définissions d’abord un widget appelé "run_info", implémenté avec une fonction du même nom. Il utilise le tampon de ligne de commande et ajoute " info " Au début. Ensuite, il accepte la ligne de commande (comme si vous appuyiez sur Entrée ). Enfin, le widget est associé au raccourci clavier.
Vous pouvez lire la page de manuel zshzle (1) pour plus d’informations sur son fonctionnement.