Laufzeit mp3 ermitteln

[Raketenwilli]

Hallo,

duration=$(mpg123 -v -s --au /dev/null 'City - Am Fenster, 1978.mp3' 2>&1 | grep 'finished' | tr -d '[' | sed -e's/. .*$//');
echo $duration;

So klappt das in der Linux-Shell. ... Dauert aber ein wenig

kein Wunder

Nein, ist es wirklich nicht: Ich kann wohl recht ordentlich mit Linux-Programmen im Terminal umgehen und hab ebenso wohl so abstruse wie funktionierende Ideen wie man da Missbrauch treiben kann…