Eclipse 为tptp设置代理控制器

我已经从eclipse的“安装新软件”中安装了tptp。在下一步中，我应该安装代理控制器

我已经下载了代理控制器4.7.2并解压缩了它。根据指示，我现在应该：

“从\bin目录中的命令shell运行SetConfig.bat脚本，以生成代理控制器的配置文件。”

当我在cmd中键入SetConfig.bat时，它表示找不到SetConfig.bat。我已经检查了bin文件夹，没有这样的文件。所以我不知道该怎么办

该指令还说：“脚本要求在PATH环境变量中存在Java虚拟机（JVM）。”这可能会导致问题？但我不知道如何将jvm设置为path变量。我使用win7

---

我现在该怎么办？先走一步

当bin文件夹中没有setconfig.bat时，您可能正在使用代理控制器的非windows发行版，尤其是当它包含setconfig.sh时

---

如果这是原因，请检查并下载正确的版本。

首先，记录您使用的eclipse版本。其次，您应该设置环境变量

%PATH%

，使其包含二进制文件

javaw.exe

的路径，该文件应该位于某个位置。在德语Windows 7中，它被命名为（翻译）

System Control>System>Expanded>Environment Variables

。尝试打开一个

cmd

shell，看看命令

java-version

是否产生了有用的结果。如果是，则路径包含JVM。