Bash Completion: Difference between revisions

(Update links)
mNo edit summary
 
Line 1: Line 1:
[[Category:User Manual]]
[[Category:ProB Cli]]
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]]

Latest revision as of 12:34, 2 February 2023

For the Bash Unix Shell we provide command completion support.

Example

$ probcli -re<TAB>
    -refchk  -repl

Installation

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.

Contributing

The source code can be found on our GitLab. Bugs and improvements can be submitted on our GitHub issue tracker.