drgn/drgn
Omar Sandoval 4eb0a8fa85 cli: configure logger
Now that drgn is hooked up to log to the logging module, let's configure
the logging module to print logs nicely and add a --log-level command
line option. This makes the quiet parameter to run_interactive()
redundant, so we ignore it now and will remove it in a future release.
I'm not sure whether we should expose the log formatter, or maybe
run_interactive() should also set up the logger. I may also want to
break download progress out into a separate option from --quiet and then
make --quiet equivalent to --log-level=none --progress=never. All of
that can happen later.

Signed-off-by: Omar Sandoval <osandov@osandov.com>
2023-07-18 12:47:34 -07:00
..
helpers drgn.helpers.linux.list: add list_count_nodes() 2023-06-30 15:40:47 -07:00
internal cli: Separate the main function from the REPL 2023-02-01 09:30:02 -08:00
__init__.py Relicense drgn from GPLv3+ to LGPLv2.1+ 2022-11-01 17:05:16 -07:00
__main__.py cli: Separate the main function from the REPL 2023-02-01 09:30:02 -08:00
cli.py cli: configure logger 2023-07-18 12:47:34 -07:00
py.typed Add type hint stubs and generate documentation from them 2020-02-25 13:39:06 -08:00