Lee Duna@lemmy.nz to Technology@lemmy.worldEnglish · 1 year agoFirefox for Android now supports over 450 add-onswww.ghacks.netexternal-linkmessage-square88fedilinkarrow-up1750arrow-down18cross-posted to: [email protected][email protected]
arrow-up1742arrow-down1external-linkFirefox for Android now supports over 450 add-onswww.ghacks.netLee Duna@lemmy.nz to Technology@lemmy.worldEnglish · 1 year agomessage-square88fedilinkcross-posted to: [email protected][email protected]
minus-squarekellyaster@kbin.sociallinkfedilinkarrow-up12arrow-down1·1 year 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.
minus-squareforce@lemmy.worldlinkfedilinkEnglisharrow-up2arrow-down12·1 year agoWhen 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.
minus-squarekellyaster@kbin.sociallinkfedilinkarrow-up9arrow-down1·1 year agoWhat 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.
minus-squareInterstellar_1@pawb.sociallinkfedilinkEnglisharrow-up5·1 year agoSome file managers on linux can do this, but it’s definitely not a default on most.
minus-squareLoudWaterHombre@lemmy.dbzer0.comlinkfedilinkEnglisharrow-up1·1 year agodeleted by creator
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.
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.
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.
Some file managers on linux can do this, but it’s definitely not a default on most.
deleted by creator
Holup