danielwertheim

danielwertheim


notes from a passionate developer

Developer that lives by the mantra "code is meant to be shared".

Share


Tags


Disclaimer

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

Daniel WertheimDaniel Wertheim

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 “command” before committing and pushing:

git mv --force dailyscores.json dailyScores.json  

Hope it helps,

//Daniel

Developer that lives by the mantra "code is meant to be shared".

Comments