![](https://media.kbin.social/media/0d/9a/0d9ace8618f3c63f5eed1d6da28f2856c27af2b98c34e925a68fba91f9b6336a.jpg)
![](https://fry.gs/pictrs/image/c6832070-8625-4688-b9e5-5d519541e092.png)
122·
7 months 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.
Transfem | she/her | programmer | old
PSA: Ten Forward is the new Risa https://lemmy.world/c/tenforward
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.
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.
Bah, no sign of “Save webP as PNG or JPEG” yet.
https://i.postimg.cc/xdBbtbwN/73956295739254998237502026.png