diff options
Diffstat (limited to '.config/zsh/purs.zsh')
-rw-r--r-- | .config/zsh/purs.zsh | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/.config/zsh/purs.zsh b/.config/zsh/purs.zsh deleted file mode 100644 index ea2103a..0000000 --- a/.config/zsh/purs.zsh +++ /dev/null @@ -1,13 +0,0 @@ -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 |