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

Allow to ignore .gitignore when watching -- bug with .gitignore in parent folder? #1487

Open
mlange-42 opened this issue Mar 15, 2021 · 0 comments
Labels
A-ignore Area: gitignore, ignoring files

Comments

@mlange-42
Copy link

I have a project where source for mdBook are generated via Literate Programming (using Yarner).

As mdBook sources are an intermediate artifact, I want to have them ignores by Git. However, if they are listed in the project's .gitignore, watch and serve ignore changes to these files.

I already tried to re-structure my project to have book.toml in a sub-folder and call mdBook there, but they are still ignored (unless I rename/delete the .gitignore in the parent diretory, or remove the directory from it).
The documentation says that ignore files in parent directories are ignored, so I would expect it to work.

If this is the intended behaviour, it would be good to have a command line option to ignore the .gitignore, or to somehow "force" watching a folder.

Using mdBook 0.4.7

@ehuss ehuss added the A-ignore Area: gitignore, ignoring files label Jul 27, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-ignore Area: gitignore, ignoring files
Projects
None yet
Development

No branches or pull requests

2 participants