Re: patch command incorrectly capitalizes filenames that live on external USB flash drives

2020-05-14 Thread ASSI
Jason Gross via Cygwin writes: > Also btw, the bug I reported to patch is at > https://lists.gnu.org/archive/html/bug-patch/2020-05/msg0.html . > It's not clear to me if this is a cygwin issue or a patch issue. FWIW, I've just dug out a FAT formatted USB stick and I can't reproduce your issue.

Re: patch command incorrectly capitalizes filenames that live on external USB flash drives

2020-05-14 Thread Brian Inglis
On 2020-05-13 23:07, Jason Gross wrote: > On Wed, May 13, 2020 at 10:32 PM Jason Gross wrote: >> On Wed, May 13, 2020 at 8:31 PM Jason Gross wrote: >>> Brian Inglis wrote: Marco Atzeri wrote: > Thomas Wolff wrote: >> On Tue, Apr 28, 2020 at 3:27 PM Jason Gross wrote: [Please insert co

Re: patch command incorrectly capitalizes filenames that live on external USB flash drives

2020-05-14 Thread Ken Brown via Cygwin
On 5/13/2020 8:31 PM, Jason Gross via Cygwin wrote: This does not explain why `ls` displays "Makefile" as "Makefile" before I run `patch`, but displays the filename as "MAKEFILE" after I run `patch`. Nor does it explain why this happens to patch-modified files, but not to files modified via sed

Re: patch command incorrectly capitalizes filenames that live on external USB flash drives

2020-05-13 Thread Jason Gross via Cygwin
Also btw, the bug I reported to patch is at https://lists.gnu.org/archive/html/bug-patch/2020-05/msg0.html . It's not clear to me if this is a cygwin issue or a patch issue. On Wed, May 13, 2020 at 10:32 PM Jason Gross wrote: > > By the way, when I run the same script on the same flash drive

Re: patch command incorrectly capitalizes filenames that live on external USB flash drives

2020-05-13 Thread Jason Gross via Cygwin
By the way, when I run the same script on the same flash drive from WSL, it works fine, and does not capitalize the filename. So this does seem to be a cygwin-patch specific issue... On Wed, May 13, 2020 at 8:31 PM Jason Gross wrote: > Sorry for the late reply; I can see replies to my messages

Re: patch command incorrectly capitalizes filenames that live on external USB flash drives

2020-05-13 Thread Jason Gross via Cygwin
Sorry for the late reply; I can see replies to my messages at https://cygwin.com/pipermail/cygwin/2020-April/244660.html, but somehow I'm not receiving them in Gmail. I've tried (re?)subscribing to the cygwin mailing list, hopefully this fixes the problem. Thomas Wolff wrote: > You are throwing a

Re: patch command incorrectly capitalizes filenames that live on external USB flash drives

2020-04-29 Thread Brian Inglis
On 2020-04-28 22:52, Marco Atzeri via Cygwin wrote: > Am 28.04.2020 um 21:27 schrieb Jason Gross via Cygwin: >> Consider the following script in foo.sh: >> ``` >> #!/usr/bin/env bash >> >> set -ex >> >> cd "$1" >> rm -rf foo >> mkdir foo >> cd foo >> cat > Makefile <> a >> b >> c >> d >> e >> EOF >

Re: patch command incorrectly capitalizes filenames that live on external USB flash drives

2020-04-28 Thread Thomas Wolff
Am 28.04.2020 um 21:27 schrieb Jason Gross via Cygwin: Consider the following script in foo.sh: ``` #!/usr/bin/env bash set -ex cd "$1" rm -rf foo mkdir foo cd foo cat > Makefile < diff

Re: patch command incorrectly capitalizes filenames that live on external USB flash drives

2020-04-28 Thread Marco Atzeri via Cygwin
Am 28.04.2020 um 21:27 schrieb Jason Gross via Cygwin: Consider the following script in foo.sh: ``` #!/usr/bin/env bash set -ex cd "$1" rm -rf foo mkdir foo cd foo cat > Makefile < diff < use a flash driver with NTFS and check the difference I doubt it is a patch issue -- Problem reports:

patch command incorrectly capitalizes filenames that live on external USB flash drives

2020-04-28 Thread Jason Gross via Cygwin
Consider the following script in foo.sh: ``` #!/usr/bin/env bash set -ex cd "$1" rm -rf foo mkdir foo cd foo cat > Makefile < diff