Bash Completion: Difference between revisions

(Update links)
Line 11: Line 11:
== Installation ==
== Installation ==


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 the 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 [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>
Line 19: Line 19:
== Contributing ==
== Contributing ==


Bugs and improvements can be submitted on the project's [https://github.com/bivab/prob_bash_completion GitHub Page]
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].

Revision as of 12:33, 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.