Julian Prein e9d66576db ripgrep: Add --no-heading ...

Always print path as prefix (By default this is done only when stdout is
not a tty), as this makes it easier to browse a long list of matches.

2023-06-23 17:43:58 +02:00

..

config

ripgrep: Add --no-heading

2023-06-23 17:43:58 +02:00