I want to ask about bash again. 
I want to get the file randomly from the directory. For example there are 

**13.525** file in 1 directory.

I was random the file and get the file 

**gr123.adl** and for the next random I want the file 

**gr123.adl** not to be selected again.

How should I implementing it with bash language?

Thank's for your help before

Regards
Gustina M.S