mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > Software

Reply
 
Thread Tools
Old 2020-09-25, 19:26   #1
SWWright
 
Sep 2020

112 Posts
Default 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?
SWWright is offline   Reply With Quote
Old 2020-09-25, 20:07   #2
Mark Rose
 
Mark Rose's Avatar
 
"/X\(‘-‘)/X\"
Jan 2013

2,917 Posts
Default

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.
Mark Rose is offline   Reply With Quote
Old 2020-09-25, 20:08   #3
Prime95
P90 years forever!
 
Prime95's Avatar
 
Aug 2002
Yeehaw, FL

1C3916 Posts
Default

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.
Prime95 is offline   Reply With Quote
Old 2020-09-25, 21:47   #4
SWWright
 
Sep 2020

3 Posts
Default

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.
SWWright is offline   Reply With Quote
Old 2020-09-26, 07:58   #5
S485122
 
S485122's Avatar
 
Sep 2006
Brussels, Belgium

32×181 Posts
Default

Quote:
Originally Posted by SWWright View Post
...
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
S485122 is offline   Reply With Quote
Old 2020-09-26, 10:59   #6
ATH
Einyen
 
ATH's Avatar
 
Dec 2003
Denmark

3×5×199 Posts
Default

Quote:
Originally Posted by SWWright View Post
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.
ATH is offline   Reply With Quote
Reply

Thread Tools


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

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

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2020, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.