Comment on Firefox for Android now supports over 450 add-ons
kellyaster@kbin.social 1 year agoyou 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.
force@lemmy.world 1 year ago
When I take an image file and change its extension it converts the binary data, so I imagine your OS’ default file manager would do that too.
kellyaster@kbin.social 1 year 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.
Interstellar_1@pawb.social 1 year ago
Some file managers on linux can do this, but it’s definitely not a default on most.
loudWaterEnjoyer@lemmy.dbzer0.com 1 year ago
Holup