loop

for i in {1..10}; do printf "file '%s'\n" input.mkv >> mylist.txt; done