diff --git a/ftplugin/idris2.vim b/ftplugin/idris2.vim index 2d6f33f..2f47418 100644 --- a/ftplugin/idris2.vim +++ b/ftplugin/idris2.vim @@ -34,7 +34,7 @@ endfunction function! s:IdrisCommand(...) let idriscmd = shellescape(join(a:000)) " echo("idris2 " . expand ('%:p') . " --client " . idriscmd) - return system("idris2 --find-ipkg " . expand ('%:p') . " --client " . idriscmd) + return system("idris2 --find-ipkg " . shellescape(expand('%:p')) . " --client " . idriscmd) endfunction function! IdrisDocFold(lineNum) @@ -94,7 +94,7 @@ endfunction function! IdrisReload(q) w - let tc = system("idris2 --find-ipkg " . expand ('%:p') . " --client ''") + let tc = system("idris2 --find-ipkg " . shellescape(expand('%:p')) . " --client ''") if (! (tc is "")) call IWrite(tc) else