Unix shell

Replace file extension of all files in a folder

for file in *.html
do
  mv "$file" "${file%.html}.txt"
done