• kellyaster
    link
    fedilink
    175 months ago

    you can just manually change the extension to “.jpeg” or “.png” and Windows/Linux/Android file managers will automatically convert it

    Thank you for the suggestion, but that’s not how it works. Changing a file’s extension doesn’t change the file type; it just changes the name.

    • @[email protected]
      link
      fedilink
      English
      -12
      edit-2
      5 months ago

      When I take an image file and change its extension from webp to png it converts the binary data, so I imagine your OS’ default file manager would do that too. Maybe not tho.

      • kellyaster
        link
        fedilink
        105 months ago

        What OS & version are you using that automatically converts file types when you change the filename via the default file manager interface? I have never heard of this function before.