-
-
Notifications
You must be signed in to change notification settings - Fork 2.6k
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
Path collisions docs/src/{SUMMARY,summary}.md
#1580
Labels
Comments
grekko
changed the title
Case insensitive files
Path collisions Jun 13, 2023
docs/src/{SUMMARY,summary}.md
docs/src/{SUMMARY,summary}.md
I hope this does not break any links/references to the documents. I searched for references to Maybe those who recently worked on the big docs refactoring have better knowledge and can check if my proposed changes are breaking anything. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Description
When cloning the current repository on a case-insensitive file system git warns about path collisions:
Reproduction Steps
Create a case sensitive file system and clone the repository:
Expected behavior
No issues for users with case-insensitive file systems.
Proposed changes
The 2 conflicting file paths are:
docs/src/summary.md
: An intro describing the contentsdocs/src/SUMMARY.md
: An index file listing the relevant individual docsHow about renaming
docs/src/summary.md
todocs/src/readme.md
and renamingdocs/src/SUMMARY.md
todocs/src/summary.md
.docs/src/readme.md
should be read first when looking at the docs.docs/src/summary.md
seems to be the default pattern for similar files in sub-directories.See PR proposal here #1581
The text was updated successfully, but these errors were encountered: