CMDLINER-INSTALL-TOOL-COMPLETION(1) Cmdliner Manual CMDLINER-INSTALL-TOOL-COMPLETION(1)

cmdliner-install-tool-completion - Install tool completion scripts

cmdliner install tool-completion [OPTION]… TOOLNAMESHAREDIR

cmdliner install tool-completion installs tool completion script of given tools and shells in a share directory according to specific shell conventions. Directories are created if needed. Use option --dry-run to see which paths would be written. Example:

cmdliner install tool-completion mytool /usr/local/share  # All supported shells
cmdliner install tool-completion --shell zsh mytool /usr/local/share

Note that the command install tool-support also installs completions like this command does. To inspect the actual scripts use the command tool-completion.

SHAREDIR is the share directory to install to.
TOOLNAME is the name of the tool to complete. Repeatable.

Do not install, output paths that would be written.
SHELL the shell to support, must be one of bash, zsh or pwsh. Repeatable.
Generate standalone completion scripts. These scripts do not depend on the generic cmdliner completion scripts. For some shells this may result in slower completion.
Update or create an opam .install file PKG.install with install moves from the installed files to the corresponding opam install sections. Also performed if --dry-run is specified.

Show this help in format FMT. The value FMT must be one of auto, pager, groff or plain. With auto, the format is pager or plain whenever the TERM env var is dumb or undefined.
Show version information.

cmdliner install tool-completion exits with:

0
on success.
123
on indiscriminate errors reported on standard error.
124
on command line parsing errors.
125
on unexpected internal errors (bugs).

cmdliner(1)

Cmdliner v2.1.1