Now, when will Firefox be on the F-Droid Store? (By Mozilla, no one else)
this post was submitted on 15 Dec 2023
890 points (98.7% liked)
Technology
72479 readers
4111 users here now
This is a most excellent place for technology news and articles.
Our Rules
- Follow the lemmy.world rules.
- Only tech related news or articles.
- 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, this includes using AI responses and summaries. To ask if your bot can be added please contact a mod.
- 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
I think it includes proprietary stuff so they can't
Mozilla™
What's your problem with the Fennec?
Nothing. If Mozilla claims to love OSS, then why haven't they released it on the F-Droid Store?
load more comments
(2 replies)
When will they fix their mobile version though? As much as I want to use Firefox as much as possible, some websites just refuse to open in mobile Firefox, or not work properly. I have even made a simple website with fixed element on the bottom of the page, and it jumps like crazy when scrolling for whatever reason.
load more comments
(3 replies)
Bah, no sign of "Save webP as PNG or JPEG" yet.
what's wrong with webp? it's a significantly more efficient file format (like 20% less file size for the same quality) and is supported everywhere by now. if anything, the default should be webp for image types that can be both lossy and losslessly compressed
Lots of platforms, even image editing don't support webp
I haven't come across a single image or video editor that doesn't support webp nowadays. I use paint.net, krita, aseprite, inkscape, ibis paint x, opentoonz, and davinci resolve, plus libreoffice if you count that, they all support importing/exporting and editing webp just as any other image file format. I'm pretty sure GIMP and Photoshop do too but I don't use them so I can't say for sure
I feel like a majority of people have to go out of their way to make webp an inconvenience in the modern day.
Besides, if it for some reason doesn't work in a specific situation you need it you can just manually change the extension to ".jpeg" or ".png" and Windows/Linux/Android file managers will automatically convert it. But I can guess most people don't actually face a situation like that.
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.
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.