[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[MirageOS-devel] [ANN] mirage 2.9.0



I’m happy to announce a new release of the mirage command-line tool, which 
improves the tooling around logging (a 4 years(!!) old discussion[1]).

This will soon be available in opam: 
https://github.com/ocaml/opam-repository/pull/6352

Summary: use Logs[2] in you libraries, and use `--logs`either at configure or 
runtime to configure the log reporters. You don’t need to change your config.ml 
(but you can tweak the default log reporter in there if you want to, or disable 
log reporting completely).

I plan to write more complete documentation next week, but here an example:

```
$ mirage configure --no-opam --logs info,foo:debug,toto:debug
$ make
[...]
$ ./main.native
Warning: toto is not a valid log source.
Hello World!
2016-04-29 10:04.52: DBG [foo] Haha
$ ./main.native --logs info
Hello World!
``` 

Full changes:

* Add logging support. A new `reporter` parameter to `register` is now 
available. This parameter defines how to configure the log reporter,
  using `Logs` and `Mirage_logs`. Log reporters can also be configured at 
configuration AND runtime using on the new `-l` or `—logs`  command-line 
argument.  (#534, by @samoht, @talex5 and @Drup)

* Allow to disable command-line parsing at runtime. There is a new `argv` 
parameter to the `register` function to allow to pass custom command-line 
argument parsing devices.  Use `register ~argv:no_argv` to disable command-line 
argument parsing. (#493, by @samoht and @Drup)

Many thanks to Thomas L. who started that work during the MirageOS hackaton[2] 
and @drup for the useful comments and feedback.

Best,
Thomas

[1]: 
http://lists.xenproject.org/archives/html/mirageos-devel/2012-03/msg00001.html
[2]: http://erratique.ch/software/logs/doc/Logs.html
[3]: http://canopy.mirage.io/Posts/Errors
_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.