音楽プレイヤー

Windows 10のWSL Linux bashでvlcで音楽をランダム再生する音楽プレイヤープログラムみたいなものをスクリプトしたのでシェアします。成り行きで書いた。あとvlcじゃなくてもたぶんいけますね。まぁvlcしか使わないですね。