Recently I had to develop a website that is using html5’s new
<video> element excessively. I had to convert at least 10 videos from the original
x264. If this was audio, I would simply be using the extremely handy MAX Unfortunately, I did not find a similar programme for video files, whereas I created a short bash script that does the job.