8 Jan
2005
8 Jan
'05
8:54 p.m.
mdeboer(a)iua.upf.es escribe:
To change the extension, you could use sed.
find . -name "*.ogg" | while read filename; do \
sox "$filename" "`echo $filename | sed -e 's/\.ogg$/.mp3'`"
\
done
There Is More Than One Way To Do It(TM):
for filename in `find . -name "*.ogg"`; do \
sox "$filename" "`basename $filename .ogg`.mp3" \
done