rename extension
for file in *.html
do
mv "$file" "${file%.html}.txt"
done
repetitive code
for file in *.html
do
mv "$file" "${file%.html}.txt"
done