[linux-audio-user] converting large number of ogg's to mp3's

[mdeboer at iua.upf.es]

Hallo Wilbert,

>  sox "$f" "${f/.ogg/.mp3}"

I read your post just after I sent mine. I didn't know the ${//} trick,
which is definitely easier than my `echo | sed` to obtain the same... Oh
well, I guess the sed constriction _does_ come in useful when doing more
complex replacements (I suppose the ${//) only does literal string
replacement?)

maarten