Skip to content

Rename the --dumps-dir CLI options #560

Kerollmops started this conversation in Feedback & Feature Proposal
Oct 25, 2022 · 5 comments · 16 replies
Discussion options

You must be logged in to vote

Replies: 5 comments 16 replies

Comment options

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
5 replies
@gmourier
Comment options

@guimachiavelli
Comment options

@gmourier
Comment options

@guimachiavelli
Comment options

@gmourier
Comment options

Comment options

You must be logged in to vote
4 replies
@nicolasvienot
Comment options

@gmourier
Comment options

@Kerollmops
Comment options

Kerollmops Nov 23, 2022
Maintainer Author

@curquiza
Comment options

Comment options

You must be logged in to vote
6 replies
@dichotommy
Comment options

@dureuill
Comment options

dureuill Dec 6, 2022
Collaborator

@dureuill
Comment options

dureuill Dec 6, 2022
Collaborator

@gmourier
Comment options

@Kerollmops
Comment options

Kerollmops Dec 7, 2022
Maintainer Author

Comment options

You must be logged in to vote
1 reply
@dureuill
Comment options

dureuill Dec 6, 2022
Collaborator

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
scope:cli Related to the Command-line Interface. product:engine Related to the search engine. Naming Used to track naming to debate for v0.28 release v1.0.0
7 participants