loop

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