Skip to content
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

Add a --ignore_unknown flag to query whatinputs #3057

Conversation

peterebden
Copy link
Member

Can be useful to have a whole lot of files where you don't want to try to filter them yourself.
Motivating example is the Go package driver when given /..., it doesn't know what is owned and what's not but is happy to ask Please to answer it (in my current case, there are some example files and whatnot which happen not to be owned)

@peterebden peterebden force-pushed the query-whatinputs-ignore-unknown branch from b0d54f7 to 331aaa2 Compare February 8, 2024 13:28
@peterebden peterebden merged commit 97d2267 into thought-machine:master Feb 8, 2024
14 checks passed
@peterebden peterebden deleted the query-whatinputs-ignore-unknown branch February 8, 2024 15:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants