Voglio iterare ricorsivamente attraverso una directory e cambiare l'estensione di tutti i file di una certa estensione, diciamo .t1a .t2. Qual è il comando bash per eseguire questa operazione?
rename, scrivi uno script di shell, che rinomina un singolo file (banale da fare nel tuo semplice caso), e poi usa findper applicare questo script a tutti i file con l'estensione offensiva.