title: How to move a given number of random files on Unix/Linux OS
body: <p>I'm facing this simple task but, I'm also wondering about what's the easiest and short way to do it.</p>
  
  <p>My proposal is move a given numer of random files from a directory to another. This task is part of the creation of two datasets I need for machine learning: a training set and a testing set. My goal is move away 10% of the file from a directory in order to get the datasat agaist which I could test my categorizer, and obtain a training set from the source directory.</p>
  
  <p>So, what's the most compact typing for this "move n random files" task?</p>
  
  <p>Thanks in advance - as usual -</p>