bors[bot] d342c3c357

Merge #438 ...

438: CLI improvements r=Kerollmops a=MarinPostma

I've made the following changes to the cli:
- `settings-update` become `settings`, with two subcommands: `update` and `show`.
- `document-addition` becomes `documents` with a subcommands: `add` (I'll add a feature to list documents later)
- `search` now has an interactive mode `-i`
- search return the number of documents and the time it took to perform the search.


Co-authored-by: mpostma <postma.marin@protonmail.com>

2022-01-26 15:18:20 +00:00

..

src

cli improvements

2022-01-25 14:08:30 +01:00

Cargo.toml

bump milli

2022-01-17 16:41:34 +01:00