Я уже установил tptp из "установки нового программного обеспечения" eclipse. На следующем шаге я должен установить агентский контроллер.
Я скачал контроллер агента 4.7.2 и разархивировал его. По инструкции я должен сейчас:
«Запустите сценарий SetConfig.bat из командной оболочки в каталоге \ bin, чтобы создать файл конфигурации для контроллера агентов.»
Когда я набираю SetConfig.bat в cmd, он говорит, что setconfig.bat не найден. Я проверил папку bin, и такого файла нет. Поэтому я не знаю, что делать.
В инструкции также сказано: «Сценарий требует, чтобы виртуальная машина Java (JVM) присутствовала в переменной среды PATH». Может быть, это вызывает проблему? Но я не знаю, как установить jvm в переменную пути. Я использую win7
Что мне теперь делать? Спасибо заранее!