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?
shufund head(oder einfach benutzen shuf -n, hätte die Manpage lesen sollen ...)
list.files()...