-
Notifications
You must be signed in to change notification settings - Fork 18
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Support dots and slashes in extra filters #106
Comments
Hi @yndai thanks for reporting! Indeed, we need to support this probably using escape slashes. Good catch, this is an important one. |
Resolved in #114 |
I have a hard time extracting the supported syntax from #114, and LANGUAGE.md doesn't seem to mention escaping. Is this what should work?
Because I'm getting
with v0.15.3. Pre-emptive follow-up: I came here looking for how to do this:
to feed into |
Hey @reitzig, thanks for reporting this! |
FYI PR is ready, we'll push out a new release in a couple of hours |
Whoa, that was fast, thanks a bunch! 💚 |
@reitzig thank YOU for reporting! |
Hi, first of all, really like this tool!
One use case I have is to filter on an annotation with dots an slashes, but I don't think this is supported? Please correct me if I'm wrong. For example something like:
results in a parse error:
Error: unexpected $end Error >> error parsing query >> parsing failed
I also tried some variations of brackets and quotes, but they don't seem to return any results:
I saw that this is supported in label matching: #99, but I don't believe this works for annotations.
The text was updated successfully, but these errors were encountered: