how to rename a file extension with a batch code example

Example: change all file to another

for f in *.txt; do
    mv -- "$f" "$(basename -- "$f" .txt).text"
done