git.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
* Windows 7 - long/short and upper/lower filename
@ 2015-08-03 21:18 JoséQuintas
  2015-08-07 14:03 ` Johannes Schindelin
  0 siblings, 1 reply; 2+ messages in thread
From: JoséQuintas @ 2015-08-03 21:18 UTC (permalink / raw)
  To: git

I am using Windows 7 64 bits.

1)

I have a filename called ze_xmlfun.prg
Last week gitgui shows 2 changed files: ZE_XML~1.PRG and ze_xmlfun.prg
At momment I can't update this file, because get a error.
Try delete file, update one name each time, but same error.
Seems that a unique file is considered as 2 files, and this causes error.

2)

When do a search in history, upper/lower case must be the same as in git 
control.
If upper/lower is changed, is considered a new file.
How to configure git to work allways using lower case on Windows?

3)

Is there a plugin or a tool to make this, to new files and to update in 
git repository?


Note: gitgui is a gui tool for git, ok, but once it uses git, may be 
this feature/change need to be made in git.

José M. C. Quintas

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: Windows 7 - long/short and upper/lower filename
  2015-08-03 21:18 Windows 7 - long/short and upper/lower filename JoséQuintas
@ 2015-08-07 14:03 ` Johannes Schindelin
  0 siblings, 0 replies; 2+ messages in thread
From: Johannes Schindelin @ 2015-08-07 14:03 UTC (permalink / raw)
  To: JoséQuintas; +Cc: git

Hi,

On 2015-08-03 23:18, JoséQuintas wrote:
> I am using Windows 7 64 bits.

... and Git version... ?

> I have a filename called ze_xmlfun.prg
> Last week gitgui shows 2 changed files: ZE_XML~1.PRG and ze_xmlfun.prg
> At momment I can't update this file, because get a error.
> Try delete file, update one name each time, but same error.
> Seems that a unique file is considered as 2 files, and this causes error.

This is no longer allowed in the most recent Git for Windows 1.x versions, for exactly the reason you mentioned: the short name is actually referring to the same file as the long name. Therefore, short names will be refused.

Unfortunately, you will have to fix this issue in your repository yourself. It will most likely entail something like `git rm --cached ZE_XML~1.PRG && git commit -s -m "Remove bogus file"`

> When do a search in history, upper/lower case must be the same as in git
> control.
> If upper/lower is changed, is considered a new file.
> How to configure git to work allways using lower case on Windows?

There is no such configuration. If you have a file with an undesired file name, you have to rename it. You can use `git mv` for that.

If the file name differs only in case, you will have to do a little dance like `git mv MYFILE myfile.bak && git mv myfile.bak myfile`

> Is there a plugin or a tool to make this, to new files and to update in
> git repository?

No, not unless you write one.

> Note: gitgui is a gui tool for git, ok, but once it uses git, may be
> this feature/change need to be made in git.

If you have an idea how to incorporate this into Git's source code, it would be a splendid idea to contribute that change to this mailing list.

Ciao,
Johannes

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2015-08-07 14:03 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-08-03 21:18 Windows 7 - long/short and upper/lower filename JoséQuintas
2015-08-07 14:03 ` Johannes Schindelin

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).