The --pretty option doesn't override config file #2381
Description
What version of ripgrep are you using?
ripgrep 13.0.0
-SIMD -AVX (compiled)
+SIMD +AVX (runtime)
How did you install ripgrep?
Installed from Debian bookworm
What operating system are you using ripgrep on?
Debian
Describe your bug.
I use --no-heading \n --no-line-number in my config file referenced by RIPGREP_CONFIG_PATH. I can explicitly add the --heading etc. options for a one-off commandline execution, but --pretty doesn't work as expected. I'd expect to have it be a true "convenience alias" as documented.
Instead, the output continues to use the options from the config file, including neither heading nor line numbers.