Как я могу запустить Cygwin из Vim

Question

Как я могу запустить Cygwin из Vim

Для проверки TLA требуется Cygwin, я хочу его запустить (tlapm.exe например) в Gvim, как я могу запустить Cygwin из программы Vimscript

В наборе инструментов TLA оцените его следующим образом:

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

-3

vim cygwin tlaps

Источник

user2443227 01 июн '13 в 13:21

1 ответ

Другие вопросы по тегам vim cygwin tlaps

user813602 01 июн '13 в 13:37 2013-06-01 13:37 · Answer 1 · 2013-06-01 13:37

Вы можете вызывать другие исполняемые файлы из 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; обратная косая черта может потребоваться избежать или вызвать проблемы.