On Fri, 14 Feb 2020 15:16:37 -0800 (PST), Norman Megill <[email protected]> wrote: > > We have a more serious problem though. ~dral1ALT is not in job129.cmd, it > > is in job124.cmd.
Thanks for letting me know! This is a good reason to provide incremental progress, in case it's not actually progress :-). While unfortunate, it's really no big deal. Running computers for a number of days is not a problem, and I haven't been running it for very long. In some ways this is nice, because my latest script improvements are definitely improvements and now I can use them without complications. I've already restarted my assigned jobs: scripts/jobs 112 125-132 144-151 I also verified that this time "dral1ALT" is in job124.cmd where it's supposed to be :-). --- David A. Wheeler -- 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/E1j2mIE-00019M-3K%40rmmprod07.runbox.
