我已经从eclipse的“安装新软件”中安装了tptp。在下一步中，我应该安装代理控制器。
我已经下载了代理控制器4.7.2并解压缩了它。根据我现在的指示：
“从\ bin目录中的命令shell运行SetConfig.bat脚本，以生成代理控制器的配置文件。”
当我在cmd中键入SetConfig.bat时，它表示找不到setconfig.bat。我检查了bin文件夹，没有这样的文件。所以我不知道该怎么做。
该指令还说：“脚本要求PATH环境变量中存在Java虚拟机（JVM）。”也许这会导致问题？但我不知道如何将jvm设置为路径变量。我使用win7
我现在该怎么办？ Thanx提前！
答案 0 :(得分：0)
如果你的bin文件夹中没有setconfig.bat，你可能正在使用代理控制器的非Windows发行版，特别是如果它包含setconfig.sh。
如果是原因，请检查并下载正确的版本。