Change the file extensions of multiple files in a batch operation.
for file in *.htm ; do mv $file `echo $file | sed 's/\(.*\).htm/\1html/'` ; done