-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathverbosity.ml
45 lines (40 loc) · 1.62 KB
/
verbosity.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
open Cmdliner
open Little_logger
let log_level_term ?docs () =
let verbosity_term =
let doc =
"Increase verbosity. Repeatable, but more than twice does not bring more."
in
Arg.(value & flag_all & info ["v"; "verbose"] ~doc ?docs)
in
let quiet_term =
let doc =
"Silence all log messages. Takes over $(b,-v) and $(b,--verbosity)."
in
Arg.(value & flag & info ["q"; "quiet"] ~doc ?docs)
in
let choose quiet verbosity =
if quiet then Logger.Level.Silent
else
match List.length verbosity with
| 0 ->
Logger.Level.Warning
| 1 ->
Logger.Level.Info
| _ ->
Logger.Level.Debug
in
Term.(const choose $ quiet_term $ verbosity_term)
(* Adapted from the logs package. Original copyright:
Copyright (c) 2015 The logs programmers. All rights reserved. Distributed
under the ISC license, see terms at the end of the file.
Permission to use, copy, modify, and/or distribute this software for any
purpose with or without fee is hereby granted, provided that the above
copyright notice and this permission notice appear in all copies.
THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES WITH
REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY
AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT,
INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM
LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR
OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
PERFORMANCE OF THIS SOFTWARE. *)