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

Batalov · 2014-10-31, 17:46

awk

For example
awk '{print "PRP="$1",2,"$2",-1"}' infile > outfile
and then take care of the 1st line (the header) in an editor

2014-10-31, 17:46	#5
Batalov "Serge" Mar 2008 Phi(4,2^7658614+1)/2 242E₁₆ Posts	awk For example awk '{print "PRP="$1",2,"$2",-1"}' infile > outfile and then take care of the 1st line (the header) in an editor