diff options
author | Eric Wong <e@80x24.org> | 2021-10-05 09:40:17 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2021-10-05 23:09:45 +0000 |
commit | ef68ada3b207fdb511ebe6d33b072a84277e6cd6 (patch) | |
tree | 1154347962fccb85bbf0d8fcbb6489f4045448a7 /Documentation | |
parent | 88344a50f62a39dcb5673b0aa42ebec7ec44bd71 (diff) | |
download | public-inbox-ef68ada3b207fdb511ebe6d33b072a84277e6cd6.tar.gz |
This lets administrators reindex specific time ranges according to git "approxidate" formats. These arguments are passed directly to underlying git-log(1) invocations and may still reach into old epochs. Since these options rely on git committer dates (which we infer from the most recent Received: header), they are not guaranteed to be strictly tied to git history and it's possible to over/under-reindex some messages. It's probably not a major problem in practice, though; reindexing a few extra messages is generally harmless aside from some extra device wear. Since this currently relies on git-log, these options do not affect -extindex, yet.
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/public-inbox-index.pod | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Documentation/public-inbox-index.pod b/Documentation/public-inbox-index.pod index 57fedb69..c92b6de4 100644 --- a/Documentation/public-inbox-index.pod +++ b/Documentation/public-inbox-index.pod @@ -185,6 +185,16 @@ external indices are configured. Do not update the C<all> external index by default. This negates all uses of C<-E> / C<--update-extindex=> on the command-line. +=item --since=DATESTRING + +=item --after=DATESTRING + +=item --until=DATESTRING + +=item --before=DATESTRING + +Passed directly to L<git-log(1)> to limit changes for C<--reindex> + =back =head1 FILES |