windows 7 batch rename file extension code example

Example: change all file to another

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