by RealNC » Sat Sep 23, 2023 12:31 am
Convert it to animated webp with lossy compression (so it's kinda like animated JPG.) Much smaller. On linux, I do this with the gif2webp tool, which comes with the webp package.
For maximum compression, use the "-lossy -min_size -m 6" options. To speed it up a bit, use "-mt" (for multithreading):
gif2webp -lossy -min_size -m 6 -mt animation.gif -o animation.webp
Here's an example. The GIF was 1.1MB. The resulting webp animation is 228kb:
Ah well, can't attach it to this post. Forum says "Invalid file extension: animation.webp"
Edit: uploaded it somewhere else:

Convert it to animated webp with lossy compression (so it's kinda like animated JPG.) Much smaller. On linux, I do this with the gif2webp tool, which comes with the webp package.
For maximum compression, use the "-lossy -min_size -m 6" options. To speed it up a bit, use "-mt" (for multithreading):
gif2webp -lossy -min_size -m 6 -mt animation.gif -o animation.webp
Here's an example. The GIF was 1.1MB. The resulting webp animation is 228kb:
Ah well, can't attach it to this post. Forum says "Invalid file extension: animation.webp"
Edit: uploaded it somewhere else:
[url=https://i.ibb.co/f040Gpy/animation.webp][img]https://i.ibb.co/f040Gpy/animation.webp[/img][/url]