ProB Bash Completion
This tool generates bash completion information for the probcli tool.
To generate the completion information run make and pass the path to the probcli binary in the PROBCLI variable.
make PROBCLI=<path to probcli>
This generates a prob_completion.sh file. Sourcing this file will enable autocompletion support for probcli and probcli.sh.
Add the following line somewhere in your bash startup files:
source <path to prob_completion.sh>