In den letzten Tagen habe ich meine MP3-Sammlung aufgeräumt (auf der Workstation herrscht langsam Platzmangel, weshalb ich die Songs auf den Server verschiebe). Dabei musste ich feststellen, dass es tatsächlich Idioten da draussen gibt, die ihre MP3s die Endung MP3 anstelle mp3 vergeben.
Unter Linux schafft man diesem Problem rasch Abhilfe, indem man das Tool rename verwendet:
rename 'y/A-Z/a-z/' *
Einziger Nachteil: Der ganze Dateiname wird nun kleingeschrieben. Für mich aber kein Problem, da ich bei MP3s auf konsequente Kleinschreibung achte.
