I have downloaded a number of video clips they are in a format called .webp. How do I convert them to .gif? A chat room I use frequently only allows .gif and .jpeg files.
I've done something like this before but it was ages ago and I can't remember what to do.
I got this to work by modifying a script by Sean Mahan that appears to have been intended for Arch Linux I simply quoted the variables (otherwise it failed under Ubuntu 18.04.5 LTS). Here's the Ubuntu script I used. This could be further modified to include checking to insure all dependencies are installed (and optionally installing them if not).