我怎么能从vim运行cygwin

Question

TLA的证明者需要Cygwin，我想在Gvim中运行它（例如tlapm.exe），如何从vimscript程序启动cygwin

在TLA工具箱中，按如下方式评估：

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

Answer 1

您可以使用:! cmd或call system(cmd)从Vimscript调用其他可执行文件。要运行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路径表示法编写;反斜杠可能需要转义或引起问题。