Handling directory name case in Git commit for Windows 10 (Cut directory mock directory deletion)

1. View the directory structure in GitLab, there are directories: ThemeStoreDB, TheMeStoreDB, this is because the directory ThemeStoreDB is renamed to ThemeStoreDb, and the old-based The code of ThemeStoreDB is caused by the code. as shown in Figure 1

Figure 1

2. On the disk of the local Windows 10, only the directory ThemeStoreDB exists. After the code is pulled, the directory: ThemeStoreDB and ThemeStoreDB have been automatically merged, because of Windows 10 Medium directories are not case-sensitive.

3. In the end, it is decided to delete the directory first: themestoredb, how to delete, cut the directory: themestoredb to other directory, and then git submit. Check only the directory: the relevant files under ThemestoreDB. as shown in Figure 2

Figure 2

4. Cut the directory again: ThemeStoreDB, then git submit, and find that there is no change. in line with expectations. as shown in Figure 3

Figure 3

5. Check the directory structure on GitLab, the directory: ThemeStoreDB has been deleted. in line with expectations. as shown in Figure 4

Figure 4