If you have a new account but are having problems posting or verifying your account, please email us on hello@boards.ie for help. Thanks :)

Hello all! Please ensure that you are posting a new thread or question in the appropriate forum. The Feedback forum is overwhelmed with questions that are having to be moved elsewhere. If you need help to verify your account contact hello@boards.ie

Bash: Way to get 700 lines out of a 1900 line file spread evenly

veryangryman · 2017-01-12 15:05:03

So if i have a file with 1900 lines, i want to take 700 lines out of it Thing is that for sake of load distribution, i want it evenly dispersed. Roughly every third line in this instance, but at the same time, i might select to take a different number of lines from the file. Any scalable solutions that come to mind?

Options

12-01-2017 4:05pm

#1

veryangryman

Registered Users Posts: 5,555 ✭✭✭

Join Date: November 2007

Posts: 4574

So if i have a file with 1900 lines, i want to take 700 lines out of it

Thing is that for sake of load distribution, i want it evenly dispersed. Roughly every third line in this instance, but at the same time, i might select to take a different number of lines from the file.

Any scalable solutions that come to mind?

0

Comments

Options
#2 12-01-2017 7:49pm
Talisman

Registered Users Posts: 6,150 ✭✭✭

Join Date: August 2005

Posts: 6106

You should familiarise yourself with Reservoir sampling.

0