简体繁体 English

为TPTP设置代理控制器

[英]Setting up agent controller for tptp

原文 2011-12-12 20:46:03 3 1 eclipse/ eclipse-tptp

I have already installed the tptp from eclipse's "install new software". 我已经从eclipse的“安装新软件”中安装了tptp。 In the next step I shoud install the agent controller. 在下一步中，我应该安装代理控制器。

I've downloaded the agent controller 4.7.2 und unzipped it. 我已经下载了代理控制器4.7.2并解压缩了它。 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." “从\\ bin目录中的命令外壳运行SetConfig.bat脚本，以生成代理控制器的配置文件。”

When I type the SetConfig.bat in the cmd it says that setconfig.bat is not found. 当我在cmd中键入SetConfig.bat时，它说未找到setconfig.bat。 I have checked the bin folder and there is no such file. 我已经检查了bin文件夹，没有这样的文件。 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." 该指令还说：“脚本要求在PATH环境变量中存在Java虚拟机（JVM）。” Maybe this causes the problem? 也许这会导致问题？ But I don't know how to set the jvm into the path variable. 但是我不知道如何将jvm设置为path变量。 I use win7 我用win7

What should I do now? 我现在应该怎么办？ Thanx in advance! 提前感谢！

1 个解决方案

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. 如果bin文件夹中没有setconfig.bat，则很可能使用的是代理控制器的非Windows发行版，尤其是如果它包含setconfig.sh时。

Please check and download the correct version if this is the cause. 如果这是原因，请检查并下载正确的版本。