View Single Post
Old 2016-02-08, 15:29   #2
kladner
 
kladner's Avatar
 
"Kieren"
Jul 2011
In My Own Galaxy!

26×157 Posts
Default

I think there is some likelihood of worktodo being rewritten. At least on the Windows side of things, the advice is always to exit the program before directly editing worktodo.txt, prime.txt, and local.txt.

Maybe you could put the assignments in a worktodo.add file to get them incorporated in your work flow. This should have worked, too, to insert these assignments in the first place. If mersenne.org still lists them, then they are yours. I would get them into worktodo.txt by whatever means.
kladner is offline   Reply With Quote