gif2webp seems to be able to do it.
linux4noobs
linux4noobs
Noob Friendly, Expert Enabling
Whether you're a seasoned pro or the noobiest of noobs, you've found the right place for Linux support and information. With a dedication to supporting free and open source software, this community aims to ensure Linux fits your needs and works for you. From troubleshooting to tutorials, practical tips, news and more, all aspects of Linux are warmly welcomed. Join a community of like-minded enthusiasts and professionals driving Linux's ongoing evolution.
Seeking Support?
- Mention your Linux distro and relevant system details.
- Describe what you've tried so far.
- Share your solution even if you found it yourself.
- Do not delete your post. This allows other people to see possible solutions if they have a similar problem.
- Properly format any scripts, code, logs, or error messages.
- Be mindful to omit any sensitive information such as usernames, passwords, IP addresses, etc.
Community Rules
- Keep discussions respectful and amiable. This community is a space where individuals may freely inquire, exchange thoughts, express viewpoints, and extend help without encountering belittlement. We were all a noob at one point. Differing opinions and ideas is a normal part of discourse, but it must remain civil. Offenders will be warned and/or removed.
- Posts must be Linux oriented
- Spam or affiliate links will not be tolerated.
Not GUI. But maybe still preferable to installing GIMP.
The website Convertio.co works for me
Yeah, lots of websites out there. Personally I had success with ezgif.com. But I'm hoping for a local tool, went ahead and installled Gimp, and after tweaking a few options in the "Export As..." window, I was able to get the file size much lower than ezgif.
https://www.imagemagick.org/discourse-server/viewtopic.php?t=22597
not GUI, but the CLI looks simple.
If it can't convert to WebP, just make PNGs and convert those to WebP later with something else.
I decided to bite the bullet and install Gimp. Converting formats and resizing take a while (I think due to my puny hardware processing the image) but it gets the job done.
easier than convert img.gif -coalesce img/xx_%05d.png
?
If you want a nice tool for conversion and photo management, try https://www.xnview.com/en/xnviewmp/#downloads ... it's not open source, but it is free (there are some buttons for appimage and deb). You use the "batch convert" tool for what you need, and it has a lot of image editing in there... filters, resize, crops, formats, watermarks. (Not that gif to frames thing)
Used to use XNview back on Windows a few years ago, but I'd prefer free-libre. I'll edit my OP.
Gimp can export the gif as webp.
I'd really rather avoid something as complex as GIMP. The last time I tried it, the menus had so many options they didn't even fit on my screen!
But beggars can't be choosers, might have to bite the bullet.
Initially, I avoided gimp as well.
But I was looking at gimp the wrong way. I wanted to know it all and I wanted it to be intuitive.
Gimp is a Swiss army knife. You won't always need all the tools, and many of them you won't even know are there.
But with time and new quests you'll start to add the functionalities of gimp to your own toolbox.
Thanks for the tip. Decided to bite the bullet.
- Try "Save as...", realize that won't work and need to use "Export as..."
- Change file extension to. webp, click "Export" and get a window with various options and checkboxes. "As animation" is unticked, so I tick it.
- "This is... taking a long time." Like, 5-10 times as long as a website like EZgif.com. (Probably due to my puny hardware.)
- But it works! Results in an animated webp. About twice the file size of the one from EZgif but hopefully I can tweak things in that option window to get the file size down.
Thanks :)
I am able to reduce the file size with those options, got it down to half the size of the one from EZgif, and I could probably squeeze it even further if I wanted.