23
Come rinominare l'estensione per un mucchio di file?
In una directory, ho un sacco di *.htmlfile. Vorrei rinominarli tutti in*.txt Come lo posso fare? Uso la shell bash.
480
bash
rename
file-rename