mersenneforum.org Why prime.txt AND local.txt?
 Register FAQ Search Today's Posts Mark Forums Read

 2020-09-25, 19:26 #1 SWWright   Sep 2020 112 Posts Why prime.txt AND local.txt? Just upgraded to Prime95 v30.3 build 6. Decided to review readme.txt and undoc.txt. In readme.txt, I found this: Code: local.txt Like prime.txt, this file contains more preferences. The reason there are two files is discussed later. The reason there are two files is never discussed. So, why are there two config files?
 2020-09-25, 20:07 #2 Mark Rose     "/X\(‘-‘)/X\" Jan 2013 2,917 Posts I can't speak officially, but in general stuff in prime.txt is safe to copy between machines, while the stuff in local.txt is for the current machine only and contains things like unique identifiers that shouldn't be copied, performance data, and so on.
 2020-09-25, 20:08 #3 Prime95 P90 years forever!     Aug 2002 Yeehaw, FL 1C3916 Posts Ancient history that I now regret. The theory was you could configure one computer, then copy prime95.exe and prime.txt (then called prime.ini) to a new computer and everything would "just work". Settings that are computer-specific would all be stored in local.txt. Bad idea, I'm stuck with it.
 2020-09-25, 21:47 #4 SWWright   Sep 2020 3 Posts Ah, that explains the one remaining reference to "local.ini" in undoc.txt (line 65). Perhaps that can be fixed in the next release. Are there settings that must be in prime.txt and not in local.txt? Are there settings that must be in local.txt and not in prime.txt? It would be good to have each setting indicate which file in which it may reside.
2020-09-26, 07:58   #5
S485122

Sep 2006
Brussels, Belgium

32×181 Posts

Quote:
 Originally Posted by SWWright ... Perhaps that can be fixed in the next release. ... It would be good to have each setting indicate which file in which it may reside.
George said we were stuck with it : expect no change.
The explanation of most of the possible settings is in undoc.txt (for one setting, "HideIcon", it is in readme.txt.) In undoc.txt there remains one reference to local.ini instead of local.txt : the "GetMinExponent=x" and "GetMaxExponent=y" settings.

Jacob

2020-09-26, 10:59   #6
ATH
Einyen

Dec 2003
Denmark

3×5×199 Posts

Quote:
 Originally Posted by SWWright Are there settings that must be in prime.txt and not in local.txt? Are there settings that must be in local.txt and not in prime.txt?
Each setting has a unique location in either prime.txt or local.txt and will not work in the other file.
Undoc.txt mentions for each different setting which file it needs to be in.

 Similar Threads Thread Thread Starter Forum Replies Last Post hansl PARI/GP 3 2019-05-14 03:19 ishkibibble Science & Technology 0 2012-12-22 02:53 almostfrugal Information & Answers 4 2012-09-19 03:51 odin Software 4 2010-04-16 05:59 PageFault Software 1 2006-09-13 16:39

All times are UTC. The time now is 03:02.

Fri Dec 4 03:02:26 UTC 2020 up 23:13, 0 users, load averages: 2.35, 2.22, 1.92