Hurtowa konwersja MIDI na OGG

[darkhog]

Mam sporo plików midi, które bym chciał skonwertować na .ogg (dlaczego, to już moja sprawa). Plików jest tak z 40+, więc konwersja na piechotę nie ma sensu. Próbowałem wywołać timidity z następującej linii komend:

Kod: [Zaznacz]

timidity -Ov -o *.ogg *.mid

Niestety timidity owszem - pliki zczytał dobrze, ale po zakończeniu działania okazało się, że w katalogu zamiast spodziewanych 40 plików OGG jest jeden o nazwie... *.ogg. Co robię nie tak? Dodam, że jest to dość ważna sprawa i szukam szybkiego i łatwego rozwiązania problemu.

[arctgx]

W wielu powłokach może to mniej więcej wyglądać tak:

Kod: [Zaznacz]

for plik in *.mid; do echo "${plik%mid}ogg" "$plik"

(o ile *.mid siedzą w jednym katalogu: jeśli głębiej, to in `find ...`).

Zamiast echa wstaw swoje polecenie.

[darkhog]

Spróbowałem tego, ale po wpisaniu (nawet w nie zmienionej postaci) pokazał się znak zachęty >_ i tylko ctrl-c pomogło. Spróbuję jeszcze uruchomić inne powłoki, ale wątpię, aby coś dało to działanie.

//EDIT: Tak jak się spodziewałem nic to nie dało. Próbowałem shelli bash, sh i csh i we wszystkich to samo.

[arctgx]

Kod: [Zaznacz]

for plik in *.mid; do echo "${plik%mid}ogg" "$plik"[b]; done[/b]

Przepraszam, pisałem z głowy i nie dokończyłem pętli.

W takich sytuacjach, nim ktoś sprostuje,  warto w sieci czy manualu basha (lub innej powłoki) przyjrzeć się składni takiej pętli.