Eu tenho um script bash que processa todos os arquivos em um diretório usando um loop como

para i em * .txt do ops ..... done

Existem milhares de arquivos e eles são sempre processados ​​em ordem alfanumérica por causa da expansão '* .txt'.

Existe uma maneira simples de distribuir aleatoriamente o pedido e ainda garantir que processo todos os arquivos apenas uma vez?