convertire midi in...

gd gd@linux.it
Gio 23 Nov 2006 14:35:18 CET


la tonda l'ho messa perche' al momento non mi risolveva l'& per mandare
in background il processo (quindi devo verificare)
il resto che dici e' ineccepibile
ciao

asettico ha scritto:

> In data 0611.23 09:58, *gd* ha scritto:
>
>>
>> ho guardato la sintassi dovrebbe essere qualcosa tipo
>>
>> for i in `ls *.mid`
>> do
>> (timidity -Ow -s 44100 $i -o `echo $i | sed s/mid/wav/g` &)
>> done
>
>
> Per amore della precisione, un paio di osservazioni:
> * `ls *.mid` è ridondante, basta un semplice *.mid
> * le tonde per lo statement del for sono ridondanti, non c'è bisogno
> di creare un sotto-environment
> * per convertire il nome file conviene usare i doppi apici, per
> evitare problemi con gli spazi, ecc.
>     echo "$i" | sed ...
> * per essere sicuro di gestire l'estensione correttamente puoi fare
>   + sed 's/\.mid$/.wav/' # senza g finale, sarà sempre 1 sola occorrenza
>   + `basename "$i" .mid`.wav
>
> HTH
>
>_______________________________________________
>La mailing-list del GLUG - Genuense Linux Users Group
>glug@genova.linux.it
>Per informazioni e configurazione: http://lists.linux.it/listinfo/glug
>  
>


-- 
Ciao

gd

---------------------------------------------------
Moore's Law: hardware speed doubles every 18 months
Gates' Law: software speed halves every 18 months
---------------------------------------------------




Maggiori informazioni sulla lista glug