On Sat, May 18, 2019 at 06:38:39PM +0200, Johannes Sixt wrote:
> Am 18.05.19 um 14:58 schrieb Ax Da:
> > You can rename files like this:
> > git mv File.txt file.txt
>
> On a case-insensitive, case-preserving filesystem, a case-only rename
> operation is better performed in two steps that do not ju
Am 18.05.19 um 14:58 schrieb Ax Da:
> You can rename files like this:
> git mv File.txt file.txt
On a case-insensitive, case-preserving filesystem, a case-only rename
operation is better performed in two steps that do not just change the case:
git mv File.txt file.txtx
git mv file.txtx file.txt
Anyone who likes to fix this issue?
---
Gesendet: Sonntag, 05. Mai 2019 um 12:11 Uhr
Von: "Ax Da"
An: unlisted-recipients:;
Cc: git@vger.kernel.org
Betreff: Re: Git config "ignorecase = true" has issues
Thanks for replying. Do you know how the
on: "Torsten Bögershausen"
An: "Ax Da"
Cc: git@vger.kernel.org
Betreff: Re: Git config "ignorecase = true" has issues
On Fri, Apr 19, 2019 at 09:28:32PM +0200, Ax Da wrote:
>
> We're working on Windows machines and have been experiencing issues with the
&g
On Fri, Apr 19, 2019 at 09:28:32PM +0200, Ax Da wrote:
>
> We're working on Windows machines and have been experiencing issues with the
> current implementation of Git with config setting "core.ignorecase = true"
> (which is the default on Windows machines and repositories created on Windows
> m
We're working on Windows machines and have been experiencing issues with the
current implementation of Git with config setting "core.ignorecase = true"
(which is the default on Windows machines and repositories created on Windows
machines):
Renaming files in a repository by only changing thei
6 matches
Mail list logo
