gazagnaire.org / ocaml-cli-exit
How a command-line program ends
Star
Fork 0
Watch

Commits on main

cli-exit: an exception unwinds the whole program before it is reported main
Thomas Gazagnaire committed
cli-exit: what cmdliner writes follows whether stderr is a terminal
Thomas Gazagnaire committed
cli-exit/test: a parse error off a terminal reads the same whatever TERM says
Thomas Gazagnaire committed
cli-exit: run' takes ?parse_error, the end of a command line that does not parse
Thomas Gazagnaire committed
cli-exit: name the exceptions each handler catches
Thomas Gazagnaire committed
cli-exit, merge-queue: a listing into a closed reader ends quietly
Thomas Gazagnaire committed
ocaml-cli-exit: stray edits committed from the primary
Thomas Gazagnaire committed
ocaml-cli-exit: improve docs
Thomas Gazagnaire committed
cli-exit: improve docs
Thomas Gazagnaire committed
ocaml-cli-exit: improve doc strings
dev-pony-seedmiss committed
cli-exit: expose the command-line error status
Thomas Gazagnaire committed
cli-exit: remove the ANSI filter from cmdliner pages
Thomas Gazagnaire committed
cli-exit: a refusal ends on the status the manual declares for it
Thomas Gazagnaire committed
cli-exit: the pages a program filters are flushed, and the reference is not a copy
Thomas Gazagnaire committed
cli-exit: cmdliner's pages follow NO_COLOR when the program answers it late
Thomas Gazagnaire committed
cli-exit: a usage page a program turned colour off for, as a case
Thomas Gazagnaire committed
cli-exit: let a program say which command line run evaluates
Thomas Gazagnaire committed
cli-exit: one constructor for a command's whole info, sdocs included
Thomas Gazagnaire committed
cli-exit: say what the manual does about paging, since cmdliner says the opposite
Thomas Gazagnaire committed
cli-exit: help is written, never paged
Thomas Gazagnaire committed
cli-exit: keep closed-pipe pager failures quiet
Thomas Gazagnaire committed
cli-exit: cover Auto help through a closed pager
Thomas Gazagnaire committed
cli-exit: name the exceptions a program raises to refuse
Thomas Gazagnaire committed
cli-exit: a package for how a command-line program ends
Thomas Gazagnaire committed