8 Jan
2005
8 Jan
'05
4:41 p.m.
On Saturday 08 January 2005 18:50, rob wrote:
using find I'm not sure how I change the extension
from ogg to mp3.
most times i use something like this (using Bash):
find . -name '*.ogg' | while read f
do
sox "$f" "${f/.ogg/.mp3}"
done
this way spaces in filenames do not cause trouble.
Wilbert
--
Wilbert Berendsen (www.xs4all.nl/~wbsoft, www.kde.nl, www.kerklied.net)
* Take back the web: www.mozilla-europe.org/nl/
* Free as in speech and beer: http://opencd.dischosting.nl/