• Redjard@lemmy.dbzer0.com
      link
      fedilink
      arrow-up
      0
      ·
      13 days 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
        ·
        13 days 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 :)