On Wednesday, August 28, 2013 3:29:19 PM UTC+8, TC Wan wrote:
>
>
>
> On Wednesday, August 28, 2013 2:56:55 PM UTC+8, Thomas Ferris Nicolaisen 
> wrote:
>>
>> The same commit! And in the same file! Or is it really? No, the first 
>> file has lowercase letters only, while the other one as IO uppercase.
>>
>> This means that the author has a filesystem that is case-sensitive, while 
>> ours is not. So effectively, the second file is checked out on top of the 
>> other (or the other way around).
>>
>> So either you have to check out the code on a case sensitive file system, 
>> or the author has to be a bit nicer and not check in files like that :)
>>
>
>
Ok I went back to a Linux system and checked the contents of the directory. 
There are two separate files in the directory:

$ ll io-mapping.txt IO-mapping.txt 
-rw-rw-r--. 1 ev3builder ev3builder 3288 Aug  5 12:14 io-mapping.txt
-rw-rw-r--. 1 ev3builder ev3builder 8049 Aug  5 12:14 IO-mapping.txt

On Mac OS X:

$ ll io-mapping.txt IO-Mapping.txt
-rw-r--r--  1 tcmac  staff  3288 Aug 28 10:57 IO-Mapping.txt
-rw-r--r--  1 tcmac  staff  3288 Aug 28 10:57 io-mapping.txt
 
Technically there's only one file, but Mac OS X ls -l permitted the display 
of the capitalized IO-Mapping.txt, which is confusing... but tab-completion 
only found io-mapping.txt.

Thanks a lot for solving this mystery. Looks like the original repository 
needs cleaning up.

-- 
You received this message because you are subscribed to the Google Groups "Git 
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to git-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to