danielwertheim

danielwertheim


notes from a passionate developer

Share


Sections


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

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

View Comments