From 6c4ec7787295e5f0933d9d0f3d9a08011aa1c928 Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Thu, 3 Sep 2020 12:15:12 +0200
Subject: [PATCH] more infos for readme

---
 README.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/README.md b/README.md
index 82473d9..265d685 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
-- 
GitLab