A smart case toggle
First of all, what a lovely project! Really essential to my academic workflow.
I run pdfgrep
aliased with a bunch of flags that I generally use to be able to search through my documents quickly for a term. One of these flags is -i
: I generally don't care whether an author uses capital letters to explain what they mean by e.g. "proprioceptive predictions". However, from time to time this is important to me. In these cases, searching for capitals is kind of a nuisance; I have to input the path to the binary and all the other flags I generally use.
I tried appending -F
and then inputting some capital letters, but this is incompatible with the -P
flag in my alias.
Is there any recommended solution to this problem? I would rather not give up default case-insensitive search. Maybe it's possible to extend pdgrep
's command-line options with a "smart-case" flag, like many (modern) terminal searching solution allow? Say, something like -S
to turn smart-case on. Other solutions I can think of sort of seem to break compatibility with regular grep.