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