search

edwinb / idris2-vim

Vim mode for Idris 2
75 stars 26 forks source link

Use absolute paths to invoke Idris2 #2

Closed ziman closed 4 years ago

ziman commented 4 years ago

The master branch does not work for me when I have source files in subdirectories. The change from %:t to %:p seems to fix this.

edwinb commented 4 years ago

Oh, this might be because of some things I'd done in my .vimrc. It works fine for me with :p anyway. Thanks!