Re: [HS?] exporter en masse du ogg en mp3

[Jacques L'helgoualc'h <lhh+no_spam@free.fr>]

Bonsoir,

Sylvain MEDEOT a écrit, mercredi 31 janvier 2007, à 19:44 :
[...]
> #!/bin/sh
> for i in *.ogg;
> do
>    /usr/bin/ogg123 -d wav -f - "$i" | /usr/bin/bladeenc STDIN "`/bin/echo $i | sed
> 's/ogg/mp3/g' `";
> done

 - l'option « g » de la substitution peut modifier le nom du fichier,

 $ file=Bach.Lionel_Rogg.ogg ; echo "$file" | sed s/ogg/mp3/g
Bach.Lionel_Rmp3.mp3

   il vaudrait sans doute mieux utiliser « s/\.ogg$/.mp3/ » ;


 - on peut éviter un sous-shell (sh fourni par bash) :

 $ sh -c 'file=Lionel_Rogg.ogg ; echo "${file%.*}.mp3"'
Lionel_Rogg.mp3

   ... mais il ne faut pas utiliser le double %% :

 $ sh -c 'file=Bach.Lionel_Rogg.ogg ; echo "${file%%.*}.mp3"'
Bach.mp3

 $ 
-- 
Jacques L'helgoualc'h