3 ms·Thanks for your post btw, I did not know about this tool `shuf`. My equivalent involves `sort -r | head -1`by philsnow 12y agoThanks for your post btw, I did not know about this tool `shuf`. My equivalent involves `sort -r | head -1`