Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Git: File Rename

I wanted to rename a folder from "Frameworks" to "frameworks", but git would not let me add the new lowercase name. I guess it treats filenames case insensitive, does it?

A git add frameworks/ -f didn't help

like image 763
Era Avatar asked Oct 13 '10 06:10

Era


People also ask

How do I change a file name in git bash?

Step 1: Open GitHub. Step 2: Open the repository to rename any file in that repository. Step 3: Open the file which we want to rename. Step 4: Click the edit button and rename the file.

Does git detect file rename?

Git keeps track of changes to files in the working directory of a repository by their name. When you move or rename a file, Git doesn't see that a file was moved; it sees that there's a file with a new filename, and the file with the old filename was deleted (even if the contents remain the same).


2 Answers

You can try:

  • "git mv -f foo.txt Foo.txt" (note: this is no longer needed since git 2.0.1)
  • to set ignorecase to false in the config file.

But the issue of case (on Windows for instance) is described in the msysgit issue 228 (again: this should now -- June 2014 -- work with git 2.0.1)

there is always an option to set ignorecase to false in the config file that will force Unix like Git semantics on top of NTFS.
Git supports this behavior but it is not the default - from NTFS point of view a.txt and A.txt are the same thing - so Git tries to preserve that as most users would expect

As a better workaround, you can

git mv foo.txt foo.txt.tmp && git mv foo.txt.tmp Foo.txt 

, which also changes the case of the file as stored on disk.

This blog post illustrates the same issue on MacOs during a rebase:

The default on Mac OS X file systems is that they are case-insensitive. FFFFFF.gif is the same as ffffff.gif.

If you delete the file in question, just from the file system, not from the Git index, mind you, you can merge the branch in question, and have it restore the file as if nothing happened.

The steps are pretty simple:

$ rm file/in/question.gif $ git merge trunk 

Anyhow, remember what git mv stands for:

mv oldname newname git add newname git rm oldname 

, so if newname and oldname clash, you need to make them different (even if it is only for a short period of time), hence the git mv foo.txt foo.txt.tmp && git mv foo.txt.tmp Foo.txt

like image 136
VonC Avatar answered Sep 24 '22 17:09

VonC


If you happen to host on Github, you can use the rename function on their website. Had to change the casing for 5 files and found it worked really well.

like image 25
kvz Avatar answered Sep 23 '22 17:09

kvz