Re: [newbie] config clavier via ssh
On 2004-05-05 19:17:34 +0200, Nicolas MICHEL wrote:
> Vincent Lefevre <vincent@vinc17.org> wrote:
> > Attention aux bindings du shell également... Pour essayer le erase,
> > il *faut* l'essayer dans un
> >
> > cat > /dev/null
>
> Si je tapes cat > /dev/null, puis test[delete], il m'efface la dernière
> lettre comme attendu.
Au passage, Delete n'est pas censé effacer la dernière lettre;
c'est Backspace qui doit le faire.
> > Pour l'effacement des caractères dans le shell, c'est différent...
>
> J'ai même fait un petit tour dans zshall et testé
> /usr/share/zsh/4.0.4/functions/Misc/zkbd
> puis ajouté
> source ~/.zkbd/$TERM-$VENDOR-$OSTYPE
> [[ -n ${key[Left]} ]] && bindkey "${key[Left]}" backward-char
> [[ -n ${key[Right]} ]] && bindkey "${key[Right]}" forward-char
> dans ~/.zshrc
> sans plus de succès.
Je ne vois pas trop ce que tu veux faire.
ay:~> bindkey | grep delete-char
"^D" delete-char
"^H" backward-delete-char
"^[[3~" delete-char
"^?" delete-char
Maintenant, à toi de voir ce que tu veux faire... Tout dépend des
codes utilisés pour Delete et pour Backspace dans la session en
question.
--
Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/>
100% validated (X)HTML - Acorn / RISC OS / ARM, free software, YP17,
Championnat International des Jeux Mathématiques et Logiques, etc.
Work: CR INRIA - computer arithmetic / SPACES project at LORIA
Reply to: