No edit summary |
m (→Installation) |
||
| Line 11: | Line 11: | ||
== Installation == | == Installation == | ||
A generated version of the command completion for Bash is available | A generated version of the command completion for Bash is available [http://nightly.cobra.cs.uni-duesseldorf.de/bash/prob_completion.sh here]. To install download linked file and store it locally on your machine. To enable the completion you need to '''source''' the file. | ||
$ source <path to prob_completion.sh> | $ source <path to prob_completion.sh> | ||
For the Bash Unix Shell we provide command completion support.
Example
$ probcli -re<TAB>
-refchk -repl
A generated version of the command completion for Bash is available here. To install download linked file and store it locally on your machine. To enable the completion you need to source the file.
$ source <path to prob_completion.sh>
To enable the completion automatically add the line above to your Bash settings, e.g. in the .bashrc or .profile files.
Bugs and improvements can be submitted on the project's GitHub Page