this post was submitted on 15 Dec 2023
911 points (98.7% liked)

Technology

59133 readers
2265 users here now

This is a most excellent place for technology news and articles.


Our Rules


  1. Follow the lemmy.world rules.
  2. Only tech related content.
  3. Be excellent to each another!
  4. Mod approved content bots can post up to 10 articles per day.
  5. Threads asking for personal tech support may be deleted.
  6. Politics threads may be removed.
  7. No memes allowed as posts, OK to post as comments.
  8. Only approved bots from the list below, to ask if your bot can be added please contact us.
  9. Check for duplicates before posting, duplicates may be removed

Approved Bots


founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[โ€“] [email protected] 10 points 10 months ago (2 children)

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.

[โ€“] [email protected] 6 points 10 months ago

Some file managers on linux can do this, but it's definitely not a default on most.