mersenneforum.org - View Single Post - convert files from srsieve/srfile into worktodo.txt

Batalov · 2014-10-31, 19:19

Perfectionism notwithstanding, there's no limit what can be further beautified :)

If you have 400 lines in input and 8 cores for Prime95 to follow,

awk '{if(NR%50==1){print "[Worker #"int(NR/50)+1"]"} if(NR>1){print "PRP="$1",2,"$2",-1"}}' infile >outfile

2014-10-31, 19:19	#7
Batalov "Serge" Mar 2008 Phi(4,2^7658614+1)/2 2×11×421 Posts	Perfectionism notwithstanding, there's no limit what can be further beautified :) If you have 400 lines in input and 8 cores for Prime95 to follow, awk '{if(NR%50==1){print "[Worker #"int(NR/50)+1"]"} if(NR>1){print "PRP="$1",2,"$2",-1"}}' infile >outfile