string operation -- replace file extension name

如果只是簡單的filename 操作，可以用 "${filename...}"
例如：把所有 mp4 檔 rename 成 avi: for file in *.mp4;do mv "$file" "${file/.mp4/.avi}";done
像這個 ${file/.mp4/.avi} 就是把 $file 中 .mp4 換成 .avi，其中的兩個 "/" 符號就是 replace。

---

ref:

1. http://www.thegeekstuff.com/2010/07/bash-string-manipulation/
2. http://www.faqs.org/docs/abs/HTML/string-manipulation.html