How do I escape characters in GitHub code search?
I dont think you can escape characters for github
From searching code doc:
You can't use the following wildcard characters as part of your search query: . , : ; / \ ` ' " = * ! ? # $ & + ^ | ~ < > ( ) { } [ ]. The search will simply ignore these symbols.
Update: Use github.dev/....
, this is a official solution from github team. Just replace .com
with .dev
in the Url or pressing the dot ( . ) key in any repo to open in github.dev. It even works with private repo.
GitHub natively doesn't support advanced code search like using special characters or excluding or including specific folders, We can use GitHub1s for searching a code in a repo.
GitHub1s will open a repo in VSCode online (so no cloning process is required) and we can use the advanced code search provided by VSCode to search.
To open a repo in GitHub1s just replace github.com/....
with github1s.com/...
to view the repo in VSCode online (In other words, add 1s
before .com
).
Important note: Code search in Github1s only works on public repo
You will need to do this locally. Here are some options, from https://stackoverflow.com/a/38288679/362202:
- clone your company's github source website
- do locally a
git grep
, which supports basic regexp or extended POSIX regexp (git grep -E
) - or a pickaxe search (
git log --all -S...
- or
git rev-list --all|grep xxx
which also allows for regexp
These strategies would not work for github-wide searches, which is a shame.