How can I select random files from a directory in bash?

Here’s a script that uses GNU sort’s random option:

ls |sort -R |tail -$N |while read file; do
    # Something involving $file, or you can leave
    # off the while to just get the filenames
done