you are viewing a single comment's thread
view the rest of the comments
[–] 7 points 2 years ago (1 child)

If you rename a file only changing the casing it doesn't update properly, you need to rename it to something else and back.
This is so userfriendly I have been stumped by it multiple times.

On the other hand in using Linux I have had a number of problems with the casing of files: The number is 0

  • source
  • parent
  • hideshow 2 child comments
  • [–] 7 points 2 years ago

    If you rename a file only changing the casing it doesn’t update properly, you need to rename it to something else and back. This is so userfriendly I have been stumped by it multiple times.

    To my great surprise, this has been fixed. I don't know when, but I tried it on my Windows 10 VM and it just worked. Only took them 20 years or so :)

  • source
  • parent