Чи є якась команда Linux, яку можна використовувати для вибірки підмножини файлу? Наприклад, файл містить один мільйон рядків, і ми хочемо випадково відібрати лише тисячу рядків із цього файлу.
Я випадково маю на увазі, що кожен рядок отримує однакову ймовірність бути обраним, і жоден із обраних рядків не повторюється.
head
і tail
може вибрати підмножину файлу, але не випадковим чином. Я знаю, що завжди можу написати сценарій python для цього, але просто цікаво, чи є команда для цього використання.