vim - 我如何从 vim 运行 cygwin

Question

TLA 的证明者需要 Cygwin，我想tlapm.exe在 Gvim 中运行它（例如），如何从 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您可以使用或从 Vimscript 调用其他可执行文件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 路径表示法编写；反斜杠可能需要转义或导致问题。