{"thread":{"id":"41033","subject":"Git issue report : issue with capital letter in folder name","startedAt":"2015-12-17T15:45:25Z","lastAt":"2015-12-17T23:35:25Z","messageCount":3,"participants":["PFDuc","Stefan Beller"],"isPatch":false,"patchVersion":null,"patchTotal":null},"messages":[{"id":"274677","messageId":"5672D895.7030209@mail.mcgill.ca","threadId":"41033","inReplyTo":null,"subject":"Git issue report : issue with capital letter in folder name","fromName":"PFDuc","fromEmail":"pierre-francois.duc@mail.mcgill.ca","sentAt":"2015-12-17T15:45:25Z","receivedAt":"2015-12-17T15:45:25Z","isPatch":false,"sender":{"key":"pierre-francois.duc@mail.mcgill.ca","avatar":null},"body":"Hello,\n\nfirst of all thank you for developping git !\n\nI had an issue with a capital block in the folder name inside my git \nrepo. The folder in my local was named \"Display\" and the one at origin \nwas named \"display\" resulting in error when importing python code from \nthis folder for users who got the repo from origin.\n\nI tried to change the folder name on bitbucket.org but I was unable to \n(or wasn't smart enough to find how to).\n\nI fixed the issue by deleting the file from my local, then commit, then \npush, put the same folder in my local, then commit then push.\n\nI am therefore only writing to tell you that story which is not so \nimportant, but I had the thought that because it is not so important \nmaybe nobody reports that and the bug (if any) cannot be fixed.\n\nHave a good day and happy end of year season!\n\nRegards,\n\nPierre-François Duc\nPhD candidate Physics McGill university\n"},{"id":"274679","messageId":"CAGZ79kbi-qdaNorabfZkFFL=FDZSgD332+N8bUrqfvu621EYvA@mail.gmail.com","threadId":"41033","inReplyTo":"5672D895.7030209@mail.mcgill.ca","subject":"Re: Git issue report : issue with capital letter in folder name","fromName":"Stefan Beller","fromEmail":"sbeller@google.com","sentAt":"2015-12-17T18:29:27Z","receivedAt":"2015-12-17T18:29:27Z","isPatch":false,"sender":{"key":"stefanbeller@gmail.com","avatar":"https://avatars.githubusercontent.com/u/455868?v=4"},"body":"On Thu, Dec 17, 2015 at 7:45 AM, PFDuc\n wrote:\n> Hello,\n>\n> first of all thank you for developping git !\n>\n> I had an issue with a capital block in the folder name inside my git repo.\n> The folder in my local was named \"Display\" and the one at origin was named\n> \"display\" resulting in error when importing python code from this folder for\n> users who got the repo from origin.\n\nBy any chance, were different operating systems or file systems\ninvolved in creation of\nthis problem?\n\nThere are file systems which care about the capitalization, and others don't.\nSo if you have a file system which doesn't care about capitalization\nof the folder/file name,\nyou can use a different capitalization and it still works. If you take\nthe code to\nanother system then, which is a bit more careful there are problems of course.\n\nThe main question which remains, is how is Git involved? i.e. would it\nalso happen\nif you just transfer a tarball? Did Git itself break anything?\n\n>\n> I tried to change the folder name on bitbucket.org but I was unable to (or\n> wasn't smart enough to find how to).\n>\n> I fixed the issue by deleting the file from my local, then commit, then\n> push, put the same folder in my local, then commit then push.\n>\n> I am therefore only writing to tell you that story which is not so\n> important, but I had the thought that because it is not so important maybe\n> nobody reports that and the bug (if any) cannot be fixed.\n>\n> Have a good day and happy end of year season!\n>\n> Regards,\n>\n> Pierre-François Duc\n> PhD candidate Physics McGill university\n> --\n> To unsubscribe from this list: send the line \"unsubscribe git\" in\n> the body of a message to majordomo@vger.kernel.org\n> More majordomo info at http://vger.kernel.org/majordomo-info.html\n"},{"id":"274702","messageId":"567346BD.50703@mail.mcgill.ca","threadId":"41033","inReplyTo":"CAGZ79kbi-qdaNorabfZkFFL=FDZSgD332+N8bUrqfvu621EYvA@mail.gmail.com","subject":"Re: Git issue report : issue with capital letter in folder name","fromName":"PFDuc","fromEmail":"pierre-francois.duc@mail.mcgill.ca","sentAt":"2015-12-17T23:35:25Z","receivedAt":"2015-12-17T23:35:25Z","isPatch":false,"sender":{"key":"pierre-francois.duc@mail.mcgill.ca","avatar":null},"body":"Le 2015-12-17 13:29, Stefan Beller a écrit :\n> On Thu, Dec 17, 2015 at 7:45 AM, PFDuc\n> wrote:\n>> Hello,\n>>\n>> first of all thank you for developping git !\n>>\n>> I had an issue with a capital block in the folder name inside my git repo.\n>> The folder in my local was named \"Display\" and the one at origin was named\n>> \"display\" resulting in error when importing python code from this folder for\n>> users who got the repo from origin.\n> By any chance, were different operating systems or file systems\n> involved in creation of\n> this problem?\nIt might be the case, a mix between windows7, ubuntu and macOS\n> There are file systems which care about the capitalization, and others don't.\n> So if you have a file system which doesn't care about capitalization\n> of the folder/file name,\n> you can use a different capitalization and it still works. If you take\n> the code to\n> another system then, which is a bit more careful there are problems of course.\n>\n> The main question which remains, is how is Git involved? i.e. would it\n> also happen\n> if you just transfer a tarball? Did Git itself break anything?\nI don't think git broke anything it is just that the folder name was not \nbeing changed to the one with a capital letter when I pushed on origin, \nthe only way out I found was the one I described in my initial email. I \nthought then the problem might occur from git, but as you say it is \nprobably a cross platform issue. The folder initially created was named \ndisplay, then I changed it locally but git wouldn't recognize it as \nsomething to commit (platform windows7)\n\nI just wanted to let you know in case it would have been an issue you \nwouldn't be aware of.\n\nRegards,\n\nPierre-François\n>> I tried to change the folder name on bitbucket.org but I was unable to (or\n>> wasn't smart enough to find how to).\n>>\n>> I fixed the issue by deleting the file from my local, then commit, then\n>> push, put the same folder in my local, then commit then push.\n>>\n>> I am therefore only writing to tell you that story which is not so\n>> important, but I had the thought that because it is not so important maybe\n>> nobody reports that and the bug (if any) cannot be fixed.\n>>\n>> Have a good day and happy end of year season!\n>>\n>> Regards,\n>>\n>> Pierre-François Duc\n>> PhD candidate Physics McGill university\n>> --\n>> To unsubscribe from this list: send the line \"unsubscribe git\" in\n>> the body of a message to majordomo@vger.kernel.org\n>> More majordomo info at http://vger.kernel.org/majordomo-info.html\n"}]}