If you’re a command line aficionado and you want to play an audio file, there’s no need to leave the Terminal. There are Terminal commands you can use to not just play audio, but to convert files as ...