[justeleblanc]

> There's a "aux.rs", also a verboten filename in Windows.

That's not true.

> And then there were some that differed only in case, which honestly I don't know how we manage that, as the non-Windows side is macOS, and yet roughly once per year someone introduces two files, same name, differing case into the repo.

Sounds like a crappily maintained repo.

[overthrow]

It is true.

https://stackoverflow.com/questions/40794287/cannot-write-to...

https://www.howtogeek.com/wp-content/uploads/2018/11/img_5be...

[cesarb]

And for the historical explanation for why these filenames are special even with an extension, see https://devblogs.microsoft.com/oldnewthing/20031022-00/?p=42...

"Suppose you wanted the listing file to go straight to the printer. [...] So you typed “PRN” as the filename. Now, the assembler doesn’t know about these magic filenames. So the assembler will try to create the file “PRN.LST” and then start writing to it. Little does the assembler realize that the output is actually going to the printer."

Windows path handling is full of special cases and subtle gotchas. See https://googleprojectzero.blogspot.com/2016/02/the-definitiv... for a very detailed list.

[justeleblanc]

Look, I just created a file named "aux.rs" on my Windows machine. It's not true.

[franga2000]

I've seen this plenty of times, but maybe if was fixed in the last year or so. My issue was when trying to delete a Linux source tree that was git cloned on Linux onto a flash drive. Maybe the filesystem had something to do with it, but it was entirely impossible to delete it using any tool I know of in Windows.

[ygra]

I think they have changed it so that you can by now create files with forbidden names and an extension. But that's a somewhat recent change.

Also you could always create such names with the right APIs, so one application could create such files, but another can't delete them or open them.

[igorv]

Same. It's definitely not true

[deathanatos]

> That's not true.

Well, just for you, I've searched the Slack history. IIRC, this was inside a WSL session in Windows, but it definitely originated on a Windows machine:

  $ git checkout rename-some-files
  error: invalid path 'foo-crate-1/src/aux.rs'
  error: invalid path 'foo-crate-2/src/aux.rs'
  error: invalid path 'foo-crate-3/src/aux.rs'
  <more filenames with other errors>