A question about git

encountered a very painful problem. There are two files index and Index online, but there is only one index when pulled locally.

gitlab

thought it was a case setting problem, but it still didn"t work to change core.ignorecase to false,.

solve!

Jun.19,2021

if it is a windows system, no matter what the git setting is, the underlying layer of the system does not support two files with the same name.


linux system is case-sensitive. Windows and Mac OS, are not case-sensitive, right?


the solution to this problem is simple: delete all online index and Index, then pull them locally, create a new index, with the correct name and resubmit it.

MySQL Query : SELECT * FROM `codeshelper`.`v9_news` WHERE status=99 AND catid='6' ORDER BY rand() LIMIT 5
MySQL Error : Disk full (/tmp/#sql-temptable-64f5-1ea415d-1ca6.MAI); waiting for someone to free some space... (errno: 28 "No space left on device")
MySQL Errno : 1021
Message : Disk full (/tmp/#sql-temptable-64f5-1ea415d-1ca6.MAI); waiting for someone to free some space... (errno: 28 "No space left on device")
Need Help?