Ответ 1
В Windows перейдите в нужный каталог и введите:
ren *.txt *.c
В PowerShell лучше использовать Path.ChangeExtension
вместо -replace
(спасибо Охад Шнайдер для примечания):
Dir *.txt | rename-item -newname { [io.path]::ChangeExtension($_.name, "c") }
Для Linux (Bash):
for file in *.txt
do
mv "$file" "${file%.txt}.c"
done