/prob_bash_completion

Bash autocompletion for ProB

Primary LanguageShellMIT LicenseMIT

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>