Simple Linux Command To Change File Extension

Simple Linux Command To Change File Extension:
FILE=foo.old
mv “$FILE” “${FILE%.old}.new”