How to deal with case sensitive files in git?

@raphael_tillman 

To deal with case sensitive files in Git, you can follow these steps:

1. Set core.ignorecase configuration: You can set Git to be case sensitive by setting the "core.ignorecase" configuration to false. This can be done by running the following command in your Git repository:

1

git config core.ignorecase false

1. Remove conflicting files: If you already have conflicting files with different cases in your repository, you can remove them before making any changes. You can do this by first checking the status of your repository using the following command:

1

git status

Then, remove the conflicting files using the following command:

1

git rm --cached <conflicting_file>

1. Use the --force option: If you want to force-add case-sensitive files, you can use the "--force" option with the "git add" command. This will add the file regardless of its case sensitivity. For example:

1

git add --force <case_sensitive_file>

1. Update .gitconfig: You can also update your ~/.gitconfig file to be case sensitive by adding the following configuration:

1
2

[core]
  ignorecase = false

By following these steps, you can effectively deal with case-sensitive files in Git and avoid any potential issues related to file casing.