lei-add-external(1)

LEI-ADD-EXTERNAL(1) public-inbox user manual LEI-ADD-EXTERNAL(1)

NAME

lei-add-external - add inbox or external index

SYNOPSIS

lei add-external [OPTIONS] LOCATION

DESCRIPTION

Configure lei to search against an external (an inbox or external index). When "LOCATION" is an existing local path, it should point to a directory that is a "public.<name".inboxdir> or "extindex.<name".topdir> value in ~/.public-inbox/config.

OPTIONS

--boost=NUMBER
Set priority of a new or existing location.

Default: 0

--mirror=URL
Create "LOCATION" by mirroring the public-inbox at "URL".
-v
--verbose
Provide more feedback on stderr.
-q
--quiet
Suppress feedback messages.

MIRRORING

--torsocks=auto|no|yes
--no-torsocks
Whether to wrap git(1) and curl(1) commands with torsocks.

Default: "auto"

--inbox-version=NUM
Force a public-inbox version (must be 1 or 2).

The following options are passed to public-inbox-init(1):

-j JOBS, --jobs=JOBS
-L LEVEL, --indexlevel=LEVEL

The following options are passed to public-inbox-index(1):

--batch-size=SIZE
--compact
-j JOBS, --jobs=JOBS
--max-size=SIZE
--sequential-shard
--skip-docdata

FILES

The configuration for lei resides at "$XDG_CONFIG_HOME/lei/config".

CONTACT

Feedback welcome via plain-text mail to <mailto:meta@public-inbox.org>

The mail archives are hosted at <https://public-inbox.org/meta/> and <http://4uok3hntl7oi7b4uf4rtfwefqeexfzil2w6kgk2jn5z2f764irre7byd.onion/meta/>

COPYRIGHT

Copyright 2021 all contributors <mailto:meta@public-inbox.org>

License: AGPL-3.0+ <https://www.gnu.org/licenses/agpl-3.0.txt>

SEE ALSO

lei-forget-external(1), lei-ls-external(1), lei-import(1), public-inbox-index(1), public-inbox-extindex(1), public-inbox-extindex-format(5)

1993-10-02 public-inbox.git