Editing LoadPath in RunParms.txt is how I did it. On September 30, 2019 2:51:28 PM PDT, Benoit <[email protected]> wrote: >Hi, >I'm having some trouble with mmj2: I always have to move the mm file I >want >to work on to the same directory as the MM program. Is the directory >of >the mm file configurable ? >At startup, I see the output: > [3] mmj2Path = > [4] metamathPath = > [5] svcPath = > [1] runParmFile = >If I understand correctly, they are respectively: > the directory of the mmj2 program >the directory of the metamath program AND of the mm file, which should >be >the same > the directory of ??? (what does "svc" stand for ?) > the runParms.txt file > >Or maybe I should indicate the relative directory of the mm file with >respect to that of the metamath program in the RunParms.txt file ? >E.g. > LoadFile,../../git/set.mm/set.mm > >Thanks, >Benoit > >-- >You received this message because you are subscribed to the Google >Groups "Metamath" group. >To unsubscribe from this group and stop receiving emails from it, send >an email to [email protected]. >To view this discussion on the web visit >https://groups.google.com/d/msgid/metamath/12cc87d3-de72-49da-b933-07f0d8a75746%40googlegroups.com.
-- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/A284EB31-603B-4B14-ACAE-ABEE2337E153%40panix.com.
