Snippets

Renommer l'extension de fichiers avec bash sur Mac et Linux

Un script bash permettant de change l'extension de fichiers d'un dossier de manière récursif.