Anonymous 07/18/2016 (Mon) 01:55:34 No.198 del
/r/equesting a batch script of some sort (not literally .bat) that would randomly sort and rename files as numbers in a folder while keeping the file types. Ideally can at least rename up to 5 digits worth of files quickly, starting from 0.<file extension type> to 99999.<file extension type>

I'm too stupid to do this. the closest I can get is to use thunar but it doesn't randomly order them. If there's a program that does this in linux, please show me.