vim - vim から cygwin を実行する方法

Question

tlapm.exeTLA の証明には Cygwin が必要です。(たとえば) 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 パス表記でより適切に記述されることに注意してください。バックスラッシュはエスケープする必要があるか、問題を引き起こす可能性があります。