diff --git a/ftplugin/idris2.vim b/ftplugin/idris2.vim index 2f47418..5e8f163 100644 --- a/ftplugin/idris2.vim +++ b/ftplugin/idris2.vim @@ -94,7 +94,8 @@ endfunction function! IdrisReload(q) w - let tc = system("idris2 --find-ipkg " . shellescape(expand('%:p')) . " --client ''") + let file = expand('%:p') + let tc = system("idris2 --find-ipkg " . shellescape(file) . " --client ''") if (! (tc is "")) call IWrite(tc) else