Miscellany

#!/bin/bash
mkdir reencoded
for v in *.avi; do
  echo "ffmpeg -i $v -target dv reencoded/$v"
done