this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

eio

+4
+4
stack/eiocmd/lib/eiocmd.ml
··· 67 67 and+ log_level = Logs_cli.level () 68 68 and+ profile_name_opt = profile_flag 69 69 and+ key_file_opt = key_file_flag in 70 + (* Setup Fmt with ANSI colors for all CLIs *) 71 + Fmt.set_style_renderer Fmt.stdout `Ansi_tty; 72 + Fmt.set_style_renderer Fmt.stderr `Ansi_tty; 73 + (* Setup logging *) 70 74 Logs.set_reporter (Logs_fmt.reporter ()); 71 75 Logs.set_level log_level; 72 76 run_main main profile_name_opt key_file_opt