#!/bin/bash


# Generate filelist.txt
ls *.mp4 | while read filename; do
    echo "file '$filename'" >> filelist.txt
done