rhi
/
idris2-vim
1
0
Fork 0
Code Issues Pull Requests Releases Activity

Escape the paths passed to idris2

This commit is contained in:
Giuseppe Lomurno 2020-05-15 15:33:33 +02:00
parent 0fd4094cc3
commit bd97999479
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ftplugin/idris2.vim
View File

@ -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