Om echt op extensie mp3 te zoeken (en dus bestanden zoals mp3lijst.txt niet mee te tellen

) en om ook bestanden mee te tellen waar de extensie MP3 of mP3 of Mp3 is, dan is dit misschien handiger:
ls -R | grep -i *.mp3 > mp3lijst.txt
Als je echt wil weten of het daadwerkelijk mp3-bestanden zijn en niet gewoon bestanden met een mp3-extensie, of als je wil weten of er mp3-bestanden zijn met een andere extensie, dan zou je dit kunnen gebruiken, maar deze functie is wel véél trager omdat hij voor elk bestand gaat uitzoeken of het daadwerkelijk een mp3 is of niet, door zijn header te bekijken:
find . -iname '*.mp3' | while read mp3File; do file "$mp3File"|grep "\(MPEG ADTS, layer III\|MP3 encoding\)"; done
Nouja.. en dan zou je eigenlijk nog wat moeten awk'en of sed'en om de output wat cleaner te maken denk ik... maar ik heb geen zin om daar nu de beste manier voor uit te zoeken
