Random selection of lines from a text file

[SkyHigh]

Hi

I have a text file containing about 700,000 lines and I need to pick 10,000 lines at random, how do I write a script to do this.

Your help will be greatly appreciated

Thanks
Brenda

 

[raider2001]

How about this:

$NumRand = 10000;
$TotLines = 700000;
srand(time ^ $$);
for ($i=0; $i<$NumRand; $i++) {
    do {
        $RandomLine = int(rand($TotLines) + 1);
    } until (! defined $Rand{$RandomLine});
    $Rand{$RandomLine} = 1;
}
open(F, $file) or die &quot;Can't open $file: $!\n&quot;;
open(R, &quot;>$randfile&quot;) or die &quot;Can't open $randfile: $!\n&quot;;
while(<F>) {
    if ($Rand{$.} == 1) {
        print R $_;
    }
}
close(R);
close(F);

 

[SkyHigh]

Thanks, your help is appreciated
Brenda