Isso é conhecido como uma expansão de parâmetro. Tudo à direita de .avi
é removido e .mp4
é concatenado no resultado.
Se $i
for "foo.avi", o resultado será "foo.mp4". O BashFAQ 73 tem alguns bons exemplos de outras maneiras de usar expansões de parâmetros para manipulação de strings.