Angenommen, es gibt ein Verzeichnis mit 300 Datendateien. Ich möchte 200 dieser Dateien zufällig auswählen und in ein anderes Verzeichnis verschieben. Gibt es eine Möglichkeit, dies unter Unix / Linux zu tun?
shuf
und head
(oder einfach benutzen shuf -n
, hätte die Manpage lesen sollen ...)
list.files()
...