Why prime.txt AND local.txt?

SWWright · 2020-09-25, 19:26

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?

Mark Rose · 2020-09-25, 20:07

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.

Prime95 · 2020-09-25, 20:08

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.

SWWright · 2020-09-25, 21:47

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.

S485122 · 2020-09-26, 07:58

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

ATH · 2020-09-26, 10:59

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.

2020-09-25, 19:26	#1
SWWright Sep 2020 3₁₀ 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?

Similar Threads
Thread	Thread Starter	Forum	Replies	Last Post
Example of difference between my() and local()?	hansl	PARI/GP	3	2019-05-14 03:19
Quote from a local paper.	ishkibibble	Science & Technology	0	2012-12-22 02:53
where is prime95 keeping my prime, local, worktodo files?	almostfrugal	Information & Answers	4	2012-09-19 03:51
Does mprime check prime.txt/local.txt for changes?	odin	Software	4	2010-04-16 05:59
Affinity setting in local.ini	PageFault	Software	1	2006-09-13 16:39

2020-09-25, 20:07	#2
Mark Rose "/X\(‘-‘)/X\" Jan 2013 https://pedan.tech/ 2⁴·199 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 17·487 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.