Once I’d recorded everything I realised that my trusty Mac (well, iMovie to be specific), had no idea what to do with a .webm video file.
And neither did I.
It seemed as though I’d have to chance downloading software that I’d never heard of, from sites that I’d never heard of, to do a file conversion that I didn’t understand.
But it turned out to be FAR simpler than that in the end.
All you have to do (on Fedora) is:
1) Using sudo (or log in as root)…
2) Add the RPMFusion repository
rpm -Uvh http://download1.rpmfusion.org/free/fedora/rpmfusion-free-release-stable.noarch.rpm http://download1.rpmfusion.org/nonfree/fedora/rpmfusion-nonfree-release-stable.noarch.rpm
3) Install ffmpeg
yum install ffmpeg
4) Then use ffmpeg to convert your file, like this:
ffmpeg -i file.webm file.mp4
Thank goodness for that.
Note that ffmpeg is incredibly powerful and it is worth reading the manual if you want to understand all its intricacies.