Wee Mad Harold

Does anybody know of a relatively simple way to trim a few seconds off the end of a bunch of mp3s? Even a Windows program under Wine would be okay (I tried mp3trim but to get the batch mode you have to buy the pro version) although a Linux-native solution would obviously be better. I'm pretty sure I could knock up a shell script to convert to wav, trim, then convert back to mp3, but ideally I want a solution which doesn't involve any de/re-compression.

Any thoughts?


Update: wackydave's suggestion was the winner. mp3splt and mp3info combined in a little script work perfectly (mp3splt doesn't seem able to preserve the id3 tags, but that's a minor issue).

#!/bin/bash

for X in *.mp3
do
	total_secs=`mp3info -p "%02S" "$X"`
	secs_minus_eight=$(($total_secs - 8))
	mins=$(($secs_minus_eight / 60))
	rounded_secs=$(($mins * 60))
	leftover_secs=$(($secs_minus_eight - $rounded_secs))
	mp3splt "$X" 0.0 $mins.$leftover_secs -o "$X" -d ./Shortened/
done

Note: this is the third shell script I've ever written and I don't claim to know what I'm doing (it took a long time to get it working: learning what a backtick does was a major step forward...). It's probably ugly and inefficient, but it does the job (trimming eight seconds off the end of every mp3 in the folder) quickly and seemingly with no loss of quality, so I'm happy.