We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
In the base directory of a repository, there can be files such as CONTRIBUTING.md that are included in the docs by reference:
CONTRIBUTING.md
\```{include} ../CONTRIBUTING.md \```
It would be nice to be able to watch a specific set of files:
--watch *.md
Otherwise, there is going to be a long list of ignores.
No response
The text was updated successfully, but these errors were encountered:
I've got a PR to add glob-style ignore matching here:
I think if that is merged, it should be pretty easy to implement this with logic like:
--watch path/to/file.md
--watch path/to/*.md
watch_files = glob(<that-expression>)
all_files = glob("**/*", recursive=True)
ignore_files = [ii for ii in all_files if ii not in watch_files]
And then append ignore_files to the list that is created if somebody used the --ignore flag.
ignore_files
--ignore
Sorry, something went wrong.
No branches or pull requests
Context
In the base directory of a repository, there can be files such as
CONTRIBUTING.md
that are included in the docs by reference:Proposal
It would be nice to be able to watch a specific set of files:
Otherwise, there is going to be a long list of ignores.
Tasks and updates
No response
The text was updated successfully, but these errors were encountered: