diff options
| author | Adam Stankiewicz <sheerun@sher.pl> | 2020-12-29 19:44:40 +0100 |
|---|---|---|
| committer | Adam Stankiewicz <sheerun@sher.pl> | 2020-12-29 19:44:40 +0100 |
| commit | 95d82fdb668b746ac100a8b7d2aca38038150707 (patch) | |
| tree | 19f2e80acbab5efe1d35630faafb5e24d7230fd8 /ftplugin/idris2.vim | |
| parent | 73c518717741fb3ebb6822645d38f37ffae7c19b (diff) | |
| download | vim-polyglot-95d82fdb668b746ac100a8b7d2aca38038150707.tar.gz vim-polyglot-95d82fdb668b746ac100a8b7d2aca38038150707.zip | |
Update
Diffstat (limited to 'ftplugin/idris2.vim')
| -rw-r--r-- | ftplugin/idris2.vim | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/ftplugin/idris2.vim b/ftplugin/idris2.vim index 28ac7b5c..9a09fada 100644 --- a/ftplugin/idris2.vim +++ b/ftplugin/idris2.vim @@ -37,8 +37,9 @@ endfunction function! s:IdrisCommand(...) let idriscmd = shellescape(join(a:000)) -" echo("idris2 " . expand ('%:p') . " --client " . idriscmd) - return system("idris2 --find-ipkg " . shellescape(expand('%:p')) . " --client " . idriscmd) + " Vim does not support ANSI escape codes natively, so we need to disable + " automatic colouring + return system("idris2 --no-color --find-ipkg " . shellescape(expand('%:p')) . " --client " . idriscmd) endfunction function! IdrisDocFold(lineNum) @@ -99,7 +100,7 @@ endfunction function! IdrisReload(q) w let file = expand('%:p') - let tc = system("idris2 --find-ipkg " . shellescape(file) . " --client ''") + let tc = system("idris2 --no-color --find-ipkg " . shellescape(file) . " --client ''") if (! (tc is "")) call IWrite(tc) else |