On February 14, 2020 7:14:42 PM EST, Norman Megill <[email protected]> wrote: >On Friday, February 14, 2020 at 6:41:14 PM UTC-5, Norman Megill wrote: >> >> On Friday, February 14, 2020 at 6:28:58 PM UTC-5, David Starner >wrote: >>> >>> On Fri, Feb 14, 2020 at 3:12 PM Norman Megill wrote: >>> >> >... > > >> Does that mean that 125-132 are open again? Since 155 hasn't started >>> running backwards yet, I might as well load up the rest of those >>> cores. >>> >> >> Let's see what David W. wants to do. Also, this might affect anyone >who >> used the script, so there might be other jobs to be redone.
I will just restart and rerun my assignments, and simply consider the previous stuff a dry run. The newer scripts are better anyway. I think what happened is that I still had the zip file around, so it simply reused the zip file. If I delete the zip file and the generated directory, I think it should be fine. --- 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/FE44B615-1572-4BD5-BA27-5672CAF206F2%40dwheeler.com.
