[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Updating mumi on berlin
From: |
Thiago Jung Bauermann |
Subject: |
Re: Updating mumi on berlin |
Date: |
Tue, 03 May 2022 17:42:10 -0300 |
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
- Re: Updating mumi on berlin, zimoun, 2022/05/02
- Re: Updating mumi on berlin, Arun Isaac, 2022/05/03
- Re: Updating mumi on berlin,
Thiago Jung Bauermann <=
- Re: Updating mumi on berlin, zimoun, 2022/05/04
- Re: Updating mumi on berlin, Kyle Meyer, 2022/05/04
- Re: Updating mumi on berlin, Thiago Jung Bauermann, 2022/05/04
- Re: Updating mumi on berlin, Maxim Cournoyer, 2022/05/05
- Re: Updating mumi on berlin, Thiago Jung Bauermann, 2022/05/05
- Re: Updating mumi on berlin, Ludovic Courtès, 2022/05/07
- Re: Updating mumi on berlin, Thiago Jung Bauermann, 2022/05/07
- Re: Updating mumi on berlin, Ludovic Courtès, 2022/05/15
- Re: Updating mumi on berlin, Maxime Devos, 2022/05/16
- Re: Updating mumi on berlin, zimoun, 2022/05/05