Code

Support for shell completion#187

Code

Draft

andreypopp wants to merge 9 commits intodbuenzli:masterdbuenzli/cmdliner:masterfrom ahrefs:completionahrefs/cmdliner:completionCopy head branch name to clipboard

+609-146

Commits

Commits on Jun 7, 2024

• Build example commands

  

  Andrey Popp

  committed
  90f399a

  Copy full SHA for 90f399a

Commits on Jun 8, 2024

• Initial work on command line completions

  

  Andrey Popp

  committed
  c8d47a8

  Copy full SHA for c8d47a8

• Extract completion script into cmdliner helper

  

  Andrey Popp

  committed
  7ad3718

  Copy full SHA for 7ad3718

• Shim String.starts_with

  Show description for 5fd865b
  

  Andrey Popp

  committed
  5fd865b

  Copy full SHA for 5fd865b

• Modify Makefile/build.ml to install cmdliner helper

  

  Andrey Popp

  committed
  b4b9547

  Copy full SHA for b4b9547

• Make _ Cmdliner.Arg.conv abstract

  

  Andrey Popp

  committed
  faa7730

  Copy full SHA for faa7730

Commits on Jun 9, 2024

• Define completion spec in an arg converter

  

  Andrey Popp

  committed
  5bebf33

  Copy full SHA for 5bebf33

• Try pos args left to right when parsing command line

  Show description for d7780c3
  

  Andrey Popp

  committed
  d7780c3

  Copy full SHA for d7780c3

• Unbreak bash completion script, remove uneccessary env usage

  

  Andrey Popp

  committed
  d21197f

  Copy full SHA for d21197f