Task: Rename File Extensions from .html to .txt
Task: Rename File Extensions from .html to .txt: a task in Terminal-Lego-15k (Harbor dataset). You have a directory containing multiple HTML files with the .html extension. Your task is to rename all these files to have the .txt extension instead, while keeping the base filenames unchanged.
The task
You have a directory containing multiple HTML files with the `.html` extension. Your task is to rename all these files to have the `.txt` extension instead, while keeping the base filenames unchanged.
Part of PrimeIntellect/Terminal-Lego-15k.