Or is there a lightweight tool better suited to such tasks, on either Windows or Linux?
No Windows, há WaveShop . É semelhante ao Audacity e o processo de salvamento é mais curto com três cliques:
- Feche o WaveShop via X
- Avisar para salvar pop-ups
- Clique em Sim
- Solicitar configurações de qualidade de MP3 aparece (não altere nada)
- Clique em sim
- WaveShop salva automaticamente como mp3 e sobrescreve o original
A GUI não é a mais bonita e não há tantas opções quanto o Audacity. Então é um pouco mais leve (7 MB vs 24 MB)