diff options
author | aktersnurra <grydholm@kth.se> | 2021-02-08 06:47:05 +0100 |
---|---|---|
committer | aktersnurra <grydholm@kth.se> | 2021-02-08 06:47:05 +0100 |
commit | 0145613104939792a60ba10c67bc82e047d6690a (patch) | |
tree | d64b23a79b56598ad5c96e3c64ee55482909d535 /.config/zsh/purs.zsh | |
parent | a99bf1c8ddd4ac7dff62670ee3f1ae8306576127 (diff) |
addedd purs and fixed a nvim theme
Diffstat (limited to '.config/zsh/purs.zsh')
-rw-r--r-- | .config/zsh/purs.zsh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/.config/zsh/purs.zsh b/.config/zsh/purs.zsh new file mode 100644 index 0000000..ea2103a --- /dev/null +++ b/.config/zsh/purs.zsh @@ -0,0 +1,13 @@ +function zle-line-init zle-keymap-select { + PROMPT=`$HOME/purs/target/release/purs prompt -k "$KEYMAP" -r "$?" --venv "${${VIRTUAL_ENV:t}%-*}"` + zle reset-prompt +} +zle -N zle-line-init +zle -N zle-keymap-select + +autoload -Uz add-zsh-hook + +function _prompt_purs_precmd() { + /$HOME/purs/target/release/purs precmd +} +add-zsh-hook precmd _prompt_purs_precmd |