notes from a passionate developer



This is a personal blog. The opinions expressed here represent my own and not those of my employer, nor current or previous. All content is published "as is", without warranty of any kind and I don't take any responsibility and can't be liable for any claims, damages or other liabilities that might be caused by the content.


Git tip - change capitalization of file

Today I built a solution that used the name of a file as an id, which (where used) is case-sensitive. At first I committed the file as dailyscores.json but after committed and pushed, I renamed it to dailyScores.json. Now, to get this change to be picked up, and correctly named when checked out on another computer, I used the following “c…

Daniel WertheimDaniel Wertheim