diff --git a/README.md b/README.md index 82473d90a7438b7e7e074d4b7ba2f640a1658302..265d685ddda22909eb312da9b427b2b1fd3c9912 100644 --- a/README.md +++ b/README.md @@ -17,6 +17,13 @@ connect to it via port 55555. * val probHome : String = "DEFAULT" * val debugMode : Boolean = true +- Setting probHome to a different target then DEFAULT can cause all sorts of bad stuff. Ensure that the path points to the +correct directory. Note that any probcli other version then the version used by prob java kernel can cause uncaught errors. +If you want to use another version probcli point to the directory, not to probcli.sh e.g.: +``` +/home/sebastian/prob_prolog +``` + ## Clients - VSCode: https://marketplace.visualstudio.com/items?itemName=SeeBasTStick.b-language-extension \ No newline at end of file