我怎樣才能Cygwin的vim中

Question

TLA的檢驗儀，需要Cygwin的運行，我想運行它（tlapm.exe例如）在GVIM，我怎樣才能Cygwin的從vim腳本程序

在TLA工具箱開始，EVAL它如下：

/usr/local/bin/tlapm --toolbox 21 21 --isaprove -I C:\cygwin\usr\local\lib\tlaps\ C:\tla\Channel.tla 

Answer 1

您可以從Vimscript中調用其他可執行文件與:! cmd或call system(cmd)。要運行Cygwin的二進制文件，您可以通過在Cygwin Bash的調用命令：

:echo system('C:\cygwin\bin\bash -c "/usr/local/bin/tlapm --toolbox 21 21 --isaprove -I C:\cygwin\usr\local\lib\tlaps\ C:\tla\Channel.tla"') 

甚至直接（C:\cygwin\bin\tlapm）。請注意，C:\cygwin\...參數最好用Cygwin路徑表示法編寫;反斜槓可能需要逃避或導致問題。