Estou procurando maneiras de reduzir a quantidade de espaço ocupado pela minha grande coleção de músicas, principalmente o Ogg Vorbis com MP3 ocasional. O que motivou isso foi pensar em usar potencialmente um tablet Ubuntu com armazenamento limitado. Consequentemente, pensei em escrever um script para gzipar cada faixa (ou seja, foobar.ogg se torna foobar.ogg.gz).
O problema é que, em seguida, eu preciso de um player de áudio inteligente o suficiente para descompactar a música gzipped on the fly, descobrir o formato que é realmente e jogá-lo como normal. Eu percebo que eu provavelmente poderia fazer isso a partir da linha de comando, descompactando cada faixa para stdout e canalizando para o mplayer ou algo assim, mas estou realmente procurando por um aplicativo de desktop.
O Google não disponibilizou nada conclusivo, então alguém mais está fazendo isso e, em caso afirmativo, como?
Obrigado.