I'm looking at ways to reduce the amount of space taken up by my large collection of music, mostly Ogg Vorbis with the occasional MP3. What prompted this was thinking ahead to potentially using an Ubuntu tablet with limited storage. Consequently, I thought of writing a script to gzip each track (i.e. foobar.ogg becomes foobar.ogg.gz).
The problem is, I then need an audio player smart enough to decompress the gzipped music on the fly, find out what format it actually is and play it as normal. I realise that I could probably do this from the command line by unzipping each track to stdout and piping it to mplayer or something but I'm really looking for a desktop application.
Google didn't turn up anything conclusive, so is anyone else doing this and if so how?