(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…') |
mNo edit summary |
||
| (4 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
[ | 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 == | ||
A generated version of the command completion for Bash is available | A generated version of the command completion for Bash is available [https://www3.hhu.de/stups/downloads/prob/bash/prob_completion.sh 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> | $ 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 in your home directory. | ||
== Contributing == | == Contributing == | ||
Bugs and improvements can be submitted on | 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.