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