Gibt es einen Linux-Befehl, mit dem eine Teilmenge einer Datei abgetastet werden kann? Eine Datei enthält beispielsweise eine Million Zeilen, und wir möchten nur eintausend Zeilen aus dieser Datei zufällig auswählen.
Für zufällig meine ich, dass jede Zeile die gleiche Wahrscheinlichkeit hat, ausgewählt zu werden und keine der ausgewählten Zeilen sich wiederholt.
head
und tail
kann eine Teilmenge der Datei aber nicht zufällig auswählen. Ich weiß, dass ich dazu immer ein Python-Skript schreiben kann, aber ich frage mich, ob es einen Befehl für diese Verwendung gibt.