Skip to content

Make extra arguments customizable#138

Merged
Wilfred merged 1 commit into
Wilfred:masterfrom
gvol:customizable-arguments
Sep 9, 2023
Merged

Make extra arguments customizable#138
Wilfred merged 1 commit into
Wilfred:masterfrom
gvol:customizable-arguments

Conversation

@gvol

@gvol gvol commented Aug 16, 2023

Copy link
Copy Markdown

This allows users to (easily) solve many of their own problems. For example, I have lots of types in my ~/.ripgreprc that I don't want to repeat in Emacs, so --no-config is very bad for me. This should also solve #24, #110, and probably others that I have missed.

@Wilfred

Wilfred commented Aug 16, 2023

Copy link
Copy Markdown
Owner

Most of these arguments are important for how deadgrep parses the output from rg. How about defining a customisable deadgrep-extra-arguments variable that only includes --no-config by default?

Many are required for deadgrep to be able to parse output, but others
can be customized.
@gvol gvol force-pushed the customizable-arguments branch from 89e1fe9 to 9757533 Compare August 16, 2023 18:19
@gvol

gvol commented Aug 16, 2023

Copy link
Copy Markdown
Author

Yeah, that's a better idea. :)

@gvol

gvol commented Aug 16, 2023

Copy link
Copy Markdown
Author

BTW, this has an ordering dependency with #93 (which I would love to get merged as well). Let me know which of them you would like to merge first and I can update the other with the appropriate changes (to tests).

@gvol gvol changed the title Make default arguments customizable Make extra arguments customizable Aug 18, 2023
@gvol

gvol commented Sep 9, 2023

Copy link
Copy Markdown
Author

Any thoughts on this and/or #93 @Wilfred?

@Wilfred Wilfred merged commit 60e48d3 into Wilfred:master Sep 9, 2023
@Wilfred

Wilfred commented Sep 9, 2023

Copy link
Copy Markdown
Owner

This looks good, merging :)

@gvol gvol deleted the customizable-arguments branch September 10, 2023 03:48
@gvol

gvol commented Sep 10, 2023

Copy link
Copy Markdown
Author

This looks good, merging :)

Great, thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants