This snippet is more than 5 years old and may no longer be best practise, test before use.

Rename File extensions


bash script to rename file extensions

Code: