Back in the 90s, when portable CD players were still a thing, I had one.
It had a toggle for random play. It indeed apparently played the tracks at random.
By random I mean random, not shuffle. It would play the same track multiple times during a listening session. For example tracks in order like 2, 2, 7, 8, 7, ...
I actually liked that.
If memory serves, it would stop playing after it had played each track at least once. If there were a lot of tracks it would not finish, at least not before the batteries ran out.
Hah, that reminds me of Spotify. If you had shuffle on and it happened to play the last song it would stop playing, because it was the last song in the playlist ...
It had a toggle for random play. It indeed apparently played the tracks at random.
By random I mean random, not shuffle. It would play the same track multiple times during a listening session. For example tracks in order like 2, 2, 7, 8, 7, ...
I actually liked that.
If memory serves, it would stop playing after it had played each track at least once. If there were a lot of tracks it would not finish, at least not before the batteries ran out.