CODEWITHSUNDEEP
windowsgit
zmbq
zmbq

Reputation: 39023

Case insensitive .gitignore on Windows - a problem

I am trying to put the Eigen sources in another git repo. Eigen has a .gitignore file that includes core and core.* - probably do that core dumps don't end up in the repo. However, on Windows, this also ignores the Core folder, which contains important files.

How can I make git not ignore the Core folder, without changing the .gitignore file (which comes from the Eigen sources)

Upvotes: 2

Views: 637

Answers (2)

Alex Suzuki
Alex Suzuki

Reputation: 1192

This also causes issues on macOS, since the default case sensitivity setting of APFS is 'not case-sensitive', so vanilla Mac users will run into this as well.

This was fixed in this PR: https://gitlab.com/libeigen/eigen/-/merge_requests/1291/diffs?commit_id=990a282fc40e9fb62a7aea1ba67b5c00ed838732

Upvotes: 0

VonC
VonC

Reputation: 1327204

First, the libeigen/eigen/.gitignore rules should only affect subfolders/files from the Eigen folder.

Second, that repository does not have a Core folder. It does have a libeigen/eigen/Eigen/Core file though. Which would indeed be ignored on Windows.

Check that with:

git check-ignore -v eigen/Eigen/Core

Then, for testing, use the config core.ignorecase:

git -c core.ignorecase=false check-ignore -v eigen/Eigen/Core

Note that if you were to modify the Core file, you can force adding it to the index:

git add -f Core

Upvotes: 3

Related Questions