On Sat, 2005-01-08 at 14:40, Wilbert Berendsen wrote:
> 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
>
Good point. I forgot about those stinking spaces!
Jan
> this way spaces in filenames do not cause trouble.
>
> Wilbert
Received on Sun Jan 9 00:15:21 2005
This archive was generated by hypermail 2.1.8 : Sun Jan 09 2005 - 00:15:21 EET