爲tptp設置代理控制器

我已經從eclipse的「安裝新軟件」安裝了tptp。在下一步中，我將安裝代理控制器。爲tptp設置代理控制器

我已經下載了代理控制器4.7.2並解壓縮了它。根據我現在的指示：

「從\ bin目錄中的命令shell運行SetConfig.bat腳本以生成代理控制器的配置文件。」

當我在cmd中鍵入SetConfig.bat時，它說沒有找到setconfig.bat。我已經檢查了bin文件夾，並且沒有這樣的文件。所以我不知道該怎麼做。

該指令還說：「該腳本要求PATH環境變量中存在Java虛擬機（JVM）。」也許這會導致問題？但我不知道如何將jvm設置爲路徑變量。我用win7

現在我該怎麼辦？感謝提前！

2011-12-12 user1006115

首先，記錄你使用的是什麼版本的eclipse。其次，您應該設置環境變量'％PATH％'，以便它包含應該位於某處的二進制'javaw.exe'的路徑。在德語Windows 7中，它被命名爲（翻譯）'System Control> System> Expanded> Environment Variables'。嘗試打開'cmd' shell，並查看命令'java -version'是否產生了一些有用的東西。如果是，您的路徑包含JVM。 – mliebelt

當您的bin文件夾中沒有setconfig.bat時，您可能正在使用代理控制器的非Windows分配，特別是它包含setconfig.sh。

如果是這個原因，請檢查並下載正確的版本。

來源

2012-01-11 19:53:50 Torsten

爲tptp設置代理控制器

回答

相關問題