Rename File Extensions

Change the file extensions of multiple files in a batch operation.

Code

for file in *.htm ; do mv $file `echo $file | sed 's/\(.*\).htm/\1html/'` ; done