• Redjard@lemmy.dbzer0.com
      link
      fedilink
      arrow-up
      0
      ·
      3 months 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.

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

      • DefederateLemmyMl@feddit.nl
        link
        fedilink
        arrow-up
        0
        ·
        3 months 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 :)

    • dan@upvote.au
      link
      fedilink
      arrow-up
      0
      ·
      3 months ago

      case insensitive by default, yet case preserving

      This isn’t just a Windows thing… It’s the same on MacOS by default.