906

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

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

97 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 9 months 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.

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

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 9 months ago

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 9 months ago

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

this post was submitted on 15 Dec 2023

906 points (98.7% liked)

Technology

58144 readers

4448 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