Comment changer l'extension de nombreux fichiers dans un répertoire?

Question

Supposons que j'ai un grand nombre de fichiers dans un répertoire avec .txt extension.

Comment puis-je changer l'extension de tous ces fichiers en .c en utilisant les environnements de ligne de commande suivants:

• Powershell dans Windows
• cmd/DOS sous Windows
• Le terminal à bash

Answer 1

Sous Windows, accédez au répertoire souhaité et tapez:

ren *.txt *.c

Dans PowerShell, il est préférable d'utiliser le Path.ChangeExtension méthode au lieu de -replace (merci à Ohad Schneider pour la remarque):

Dir *.txt | rename-item -newname { [io.path]::ChangeExtension($_.name, "c") }

Pour Linux (Bash):

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