-
Notifications
You must be signed in to change notification settings - Fork 121
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
ensure case sensitive paths #1369
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Is realpath
the right API to check the case of the file name? realpath
also resolves symbolic links; if the user is using symbolic links, this could cause a false positive.
You're right, this does not work… and it can even create new problems. It comes from a wrong analysis of the root cause. For example, if I have a single page that contains The issue in #1367 only arises when I add a second reference with So the fix must be completely different: see #1373 |
closes #1367