this post was submitted on 15 Dec 2023
906 points (98.7% liked)
Technology
63010 readers
4781 users here now
This is a most excellent place for technology news and articles.
Our Rules
- Follow the lemmy.world rules.
- Only tech related content.
- Be excellent to each other!
- Mod approved content bots can post up to 10 articles per day.
- Threads asking for personal tech support may be deleted.
- Politics threads may be removed.
- No memes allowed as posts, OK to post as comments.
- Only approved bots from the list below, to ask if your bot can be added please contact us.
- Check for duplicates before posting, duplicates may be removed
- Accounts 7 days and younger will have their posts automatically removed.
Approved Bots
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
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 from webp to png it converts the binary data, so I imagine your OS' default file manager would do that too. Maybe not tho.
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.