···7373 let pwsh = String.replace_first ~sub:"_cmdliner_generic" ~by:"%s" pwsh in
7474 let src = Fmt.str
7575 "let strf = Printf.sprintf\n\n\
7676- let bash_generic_completion fun_name = strf \n{|%s\
7676+ let bash_generic_completion fun_name = strf\n{|%s\
7777 |} fun_name\n\n\
7878- let zsh_generic_completion fun_name = strf \n{|%s\
7878+ let zsh_generic_completion fun_name = strf\n{|%s\
7979 |} fun_name\n\n\
8080- let pwsh_generic_completion fun_name = strf \n{|%s\
8080+ let pwsh_generic_completion fun_name = strf\n{|%s\
8181 |} fun_name" bash zsh pwsh
8282 in
8383 Os.File.write ~force:true ~make_path:false ml src
+9-5
vendor/opam/cmdliner/CHANGES.md
···22- completion: add support for powershell (#214)
33 Thanks to Brian Ward for the work.
4455-- cmdliner tool: add support for generating standalone completion
66- scripts via the `--standalone-completion`. Can be used if your
77- users don't have the cmdliner library installed (#243).
88- Thanks to Brian Ward for suggesting.
99-105- Improve bash completion of long options with `=` (#231).
116 Thanks to Brian Ward for the patch.
77+128- Improve bash completion on files and directories (#238).
139 Thanks to Brian Ward for the report and fix.
1010+1111+- zsh completion: strip ANSI escapes from doc strings. The experience
1212+ is too unreliable (#220).
1313+1414+- cmdliner tool: add support for generating standalone completion
1515+ scripts via the `--standalone-completion`. Can be used if your
1616+ users don't have the cmdliner library installed (#243).
1717+ Thanks to Brian Ward for suggesting.
14181519- Help output, improve graceful degration on groff or pager errors (#140).
1620 Thanks to Sergey Fedorov for the report.
+2-2
vendor/opam/cmdliner/src/tool/cmdliner_data.ml
···132132 item="${prefix:0:2}${item}"
133133 fi
134134 fi
135135- # item_doc="${item_doc//$'\e'\[(01m|04m|m)/}"
135135+ item_doc="${item_doc//$'\e'\[(01m|04m|m)/}"
136136 completions+=("${item}":"${item_doc}")
137137 elif [[ "$type" == "dirs" ]]; then
138138 _path_files -/
···156156}
157157|} fun_name
158158159159-let pwsh_generic_completion fun_name = strf
159159+let pwsh_generic_completion fun_name = strf
160160{|<#
161161Note: PowerShell swallows all errors in tab completion functions.
162162If you are hacking on this file and get unexpected results (like
+1-1
vendor/opam/cmdliner/src/tool/zsh-completion.sh
···4848 item="${prefix:0:2}${item}"
4949 fi
5050 fi
5151- # item_doc="${item_doc//$'\e'\[(01m|04m|m)/}"
5151+ item_doc="${item_doc//$'\e'\[(01m|04m|m)/}"
5252 completions+=("${item}":"${item_doc}")
5353 elif [[ "$type" == "dirs" ]]; then
5454 _path_files -/