Skip to content
This repository has been archived by the owner on Apr 4, 2023. It is now read-only.

CLI improvements #438

Merged
merged 1 commit into from
Jan 26, 2022
Merged

CLI improvements #438

merged 1 commit into from
Jan 26, 2022

Conversation

MarinPostma
Copy link
Contributor

@MarinPostma MarinPostma commented Jan 21, 2022

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.

@MarinPostma MarinPostma marked this pull request as draft January 21, 2022 17:40
@MarinPostma MarinPostma force-pushed the cli-improvements branch 5 times, most recently from aa65ada to 2af7f44 Compare January 21, 2022 17:47
@Kerollmops Kerollmops changed the title cli inprovements cli improvements Jan 24, 2022
@Kerollmops Kerollmops marked this pull request as ready for review January 24, 2022 09:44
@Kerollmops Kerollmops changed the title cli improvements CLI improvements Jan 24, 2022
cli/src/main.rs Show resolved Hide resolved
cli/src/main.rs Show resolved Hide resolved
cli/src/main.rs Show resolved Hide resolved
cli/src/main.rs Outdated Show resolved Hide resolved
cli/src/main.rs Outdated Show resolved Hide resolved
@MarinPostma MarinPostma force-pushed the cli-improvements branch 2 times, most recently from 816d52a to b5f01b5 Compare January 26, 2022 14:04
Copy link
Member

@Kerollmops Kerollmops left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me!
bors merge

@bors
Copy link
Contributor

bors bot commented Jan 26, 2022

@bors bors bot merged commit d342c3c into main Jan 26, 2022
@bors bors bot deleted the cli-improvements branch January 26, 2022 15:32
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants