• kellyaster@kbin.social
    link
    fedilink
    arrow-up
    18
    arrow-down
    1
    ·
    7 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.