8 Jan
2005
8 Jan
'05
5:01 p.m.
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