Case sensitive matching?

[Jackenmen]

When using grep.app, I often find myself using the "Case sensitive" option to quickly restrict the matches to what I'm really looking for. In cs.github.com, there is no such option.
When I'm using this option, often it's about symbols for which I could use the symbol qualifier instead but I feel this could be useful in other cases.

[look]

This is on our roadmap. Stay tuned!

[yaelz]

Any news? 🤞

[look]

We are still planning on implementing this, but we're prioritizing scaling out the system first.

[lindhe]

Staying tuned... 👀

[luckynick]

Omg please just do the simple usable searching features lol)

[Neme12]

This is such a basic feature, along with "match whole world", that almost every search implementation like in browsers or editors supports. Why is this still missing? The search is completely unusable. 😔

[rogchap]

Would be also great if it could support Regex flags for example /FOO/i as Regex should default to case sensitive.

[balramr]

I wonder if "smart" case sensitivity could be an option, i.e. if the search is all lower case, it defaults to case-insensitive. But if your search is mixed-case, it does a case-sensitive search, as that was probably your intention.

[shric]

I prefer @rogchap's suggestion, which is uniform with regex syntax used elsewhere. I often want all lower case and case sensitive.

[nexuspcs]

I would love this

[steveluscher]

Just to add some color, I typically rely on case sensitive matches when searching for the thing I need. It helps me disambiguate between types and classes in Typescript (eg. ConfirmTransaction, Transaction) and functions and variables (eg. confirmTransaction, and transaction).

[realkosty]

In the meantime this can be accomplished with (?-i):

e.g. /(?-i)myCaseSensitiveSearchString/

[Jackenmen]

While not a resolution from GitHub, I think it's worth highlighting this workaround with the "mark as answer" until a better way is available.

[swistak]

Years later still not solved. Who in the right mind would make code search case insensitive? Seriously.

Even regexp and "exact match" are case insensitive.

Who even allowed this to go into production?