Technology

59534 readers

3195 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 another!
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

Approved Bots

founded 1 year ago

MODERATORS

Firefox for Android now supports over 450 add-ons (www.ghacks.net)

submitted 11 months ago by throws_lemy@lemmy.nz to c/technology@lemmy.world

11 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] kellyaster@kbin.social 0 points 11 months ago (1 children)

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.

[–] force@lemmy.world -1 points 11 months ago* (last edited 11 months ago) (1 children)

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.

[–] kellyaster@kbin.social 1 points 11 months ago (1 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.

[–] Interstellar_1@pawb.social 1 points 11 months ago

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