https://github.com/rafapaezbas/mini-mp3-player
What is mini-mp3-player?
Mini-mp3-player is a minimal, distracionless terminal mp3 playe...
For further actions, you may consider blocking this person and/or reporting abuse
It's a pretty neat mini player. I remember I've tried to make such one for myself, but couldn't do switching between audio tracks. Your option works fine. The overall usage reminds me of using the youtube-dl file. It's a utility used for downloading files from YouTube of native quality. Usually, I use it in pair with this mp3 converter convertr.org/mp3-converter. I'm curious whether it is possible to merge Youtube downloader with the audio player. I mean, you can create a library of native-quality tracks without the need for gui.
It's a pretty neat mini player. I remember I've tried to make such one for myself, but couldn't do switching between audio tracks. Your option works fine.