Un pense-bête

Trucs de geek : Convertir des extensions en minuscules

Lorsque vous copiez des fichiers de Windows vers Linux vous pouvez vous retrouver avec des fichiers avec des extensions en majuscule. Cela peut devenir génénat dans deuxcas au moins :

  • Linux étant sensible à la case (il fait la différence enrtre les majuscules et le minuscules) vous pouvez vous retrouver avec des fichiers en double : ma_musique.MP3 et ma_musique.mp3
  • les écrans de sélection de fichiers ne vous affichent pas toujours les fichiers dont les extensions seraient en majuscules (comme ces programmes sont conçus pour Windows les développeurs ne listent que les ficihiers *.mp3 et non *.mp3 et *.MP3.

Le mieux est donc de vous assurer que toutes vos extensions sont bien en minuscules.

Vous pouvez le faire fichier par fichier ou comme bien souvent par un script bash :

$ for i in *.MP3; do mv "$i" "`basename "$i" .MP3`.mp3"; done

est un bon exemple qui peut être adapté à d'autres cas.