23
Comment renommer l'extension pour un tas de fichiers?
Dans un répertoire, j'ai un tas de *.htmlfichiers. Je voudrais tous les renommer*.txt Comment puis je faire ça? J'utilise le shell bash.
480
bash
rename
file-rename