(Update links) |
mNo edit summary |
||
Line 1: | Line 1: | ||
For the [http://en.wikipedia.org/wiki/Bash_(Unix_shell) Bash] Unix Shell we provide command completion support. | For the [http://en.wikipedia.org/wiki/Bash_(Unix_shell) Bash] Unix Shell we provide command completion support. | ||
Line 20: | Line 17: | ||
The source code can be found on [https://gitlab.cs.uni-duesseldorf.de/stups/prob/prob_bash_completion our GitLab]. Bugs and improvements can be submitted on [https://github.com/hhu-stups/prob-issues/issues our GitHub issue tracker]. | The source code can be found on [https://gitlab.cs.uni-duesseldorf.de/stups/prob/prob_bash_completion our GitLab]. Bugs and improvements can be submitted on [https://github.com/hhu-stups/prob-issues/issues our GitHub issue tracker]. | ||
[[Category:User Manual]] | |||
[[Category:ProB Cli]] |
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 the 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 in your home directory.
The source code can be found on our GitLab. Bugs and improvements can be submitted on our GitHub issue tracker.