Skip to content
Snippets Groups Projects
Commit 6c4ec778 authored by SeeBasTStick's avatar SeeBasTStick
Browse files

more infos for readme

parent 8ef83cfd
Branches
Tags
No related merge requests found
......@@ -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
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment