Eu decidi usar mpd (Music Player Daemon), com uma interface CLI chamada ncmpcpp . Essa combinação funciona muito bem, e há alguns aplicativos complementares excelentes para fazer coisas como audioscrobbling ( mpdscribble ) e controlá-la com botões de mídia ( indimpc ). Talvez não seja uma solução tão leve quanto mplayer , mas parece um bom equilíbrio.
Outro media player da CLI que é digno de nota, embora eu use com menos frequência, é herrie . Ele tem todos os recursos que descrevi na pergunta original e é muito leve.