为 tptp 设置代理控制器
我已经从 eclipse 的“安装新软件”安装了 tptp。在下一步中，我应该安装代理控制器。
我已经下载了代理控制器 4.7.2 并将其解压缩。根据指示，我现在应该：
“从 \bin 目录中的命令 shell 运行 SetConfig.bat 脚本，以生成代理控制器的配置文件。”
当我在cmd中输入SetConfig.bat时，它说找不到setconfig.bat。我检查了bin文件夹，没有这个文件。所以我不知道该怎么办。
该指令还指出：“该脚本要求 PATH 环境变量中存在 Java 虚拟机 (JVM)。”也许这会导致问题？但我不知道如何将jvm设置到路径变量中。我用的是win7
现在应该怎么办？提前致谢！
I have already installed the tptp from eclipse's "install new software". In the next step I shoud install the agent controller.
I've downloaded the agent controller 4.7.2 und unzipped it. According to the instruction I should now:
"Run SetConfig.bat script from a command shell in the \bin directory to generate the configuration file for the Agent Controller."
When I type the SetConfig.bat in the cmd it says that setconfig.bat is not found. I have checked the bin folder and there is no such file. So I don't know what to do.
The instruction also says: "The script requires that a Java Virtual Machine (JVM) be present in the PATH environment variable." Maybe this causes the problem? But I don't know how to set the jvm into the path variable. I use win7
What should I do now? Thanx in advance!
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
当 bin 文件夹中没有 setconfig.bat 时，您可能正在使用代理控制器的非 Windows 发行版，特别是如果它包含 setconfig.sh。
如果是这个原因，请检查并下载正确的版本。
When there is no setconfig.bat in your bin folder chances are that you are using a non-windows distribution of the agent controller, especially if it contains setconfig.sh instead.
Please check and download the correct version if this is the cause.