• DefederateLemmyMl@feddit.nl
    link
    fedilink
    arrow-up
    42
    arrow-down
    2
    ·
    2 months ago

    Even more annoying is that it’s very cumbersome to change the case of a file once you’ve created it.

    If you accidentally create fIle.txt when you meant File.txt, the rename function does nothing … and it will keep displaying as fIle.txt. You have to rename it to something else entirely, then rename it back to the original name with the intended case.