Currently it is hard-coded as 14 it seems: https://github.com/goblint/GobExec/blob/30a3a3408970ad997acd582d9caf7b1247d8c63f/gobexec/main.py#L17 That's suitable for my laptop and server, but probably not everyone else.
Currently it is hard-coded as 14 it seems:
GobExec/gobexec/main.py
Line 17 in 30a3a34
That's suitable for my laptop and server, but probably not everyone else.