commit 346734d89843596e9267736d78df8b42dfaec23f parent 3f4ff0b7b5a218572661fb9f09dde1c286753ea8 Author: Janis Pagel <janis.pagel@ims.uni-stuttgart.de> Date: Sun, 29 Mar 2020 17:37:20 +0200 Make page keys work in zsh Diffstat:
| M | zsh/zshrc | | | 8 | ++++++++ |
1 file changed, 8 insertions(+), 0 deletions(-)
diff --git a/zsh/zshrc b/zsh/zshrc @@ -8,6 +8,14 @@ if [ -f ~/.zsh_functions ]; then fi ######################## +#### Key bindings ###### +######################## + +bindkey '^[[P' delete-char # Delete +bindkey '^[[5~' up-line-or-history # PageUp +bindkey '^[[6~' down-line-or-history # PageDown + +######################## #### Autocomplete ###### ########################