(Created page with 'Category:User Manual Category:ProB Cli For the [http://en.wikipedia.org/wiki/Bash_(Unix_shell) Bash] Unix Shell we provide command completions support. == Installation…') |
No edit summary |
||
| Line 2: | Line 2: | ||
[[Category:ProB Cli]] | [[Category:ProB Cli]] | ||
For the [http://en.wikipedia.org/wiki/Bash_(Unix_shell) Bash] Unix Shell we provide command | For the [http://en.wikipedia.org/wiki/Bash_(Unix_shell) Bash] Unix Shell we provide command completion support. | ||
Example | |||
$ probcli -re<TAB> | |||
-refchk -repl | |||
== Installation == | == Installation == | ||
| Line 8: | Line 13: | ||
A generated version of the command completion for Bash is available at the [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. | A generated version of the command completion for Bash is available at the [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> | ||
To enable the completion automatically add the line above to your Bash settings, e.g. in the '''.bashrc''' or '''.profile''' files. | To enable the completion automatically add the line above to your Bash settings, e.g. in the '''.bashrc''' or '''.profile''' files. | ||
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 at the 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