为TPTP设置代理控制器

Question

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

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

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

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

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

我现在应该怎么办？ 提前感谢！

Answer 1

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

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