Re: Updating mumi on berlin

[Thiago Jung Bauermann]

Hello zimoun,

zimoun <zimon.toutoune@gmail.com> writes:

> Instead of subscription, public-inbox provides the archives as a Git
> repo.  Therefore, being up to date just becomes “guix pull” and the Git
> repo can be transformed to Maildir using e.g.,
>
>     $git rev-list <range> | while read sha; do
>       $git show $sha:m > <maildir>/new/$sha
>     done
>
> (modulo some errors for deleted messaged, another story).

Just an aside about public-inbox: Starting with version 0.7 it ships
with a ‘lei’ tool that can be used to query a local or remote
public-inbox repo, and export the matching messages to a maildir.

So the above would become something like:

$ lei q -o <maildir> -I <path or URL to public-inbox repo> -t <query>

The maildir can even be updated later with newer messages matching the
query with:

$ lei up <maildir>

-- 
Thanks
Thiago