On 8/30/22 16:18, David A. Wheeler wrote:
Progress! We're one step closer to not using us2.metamath.org.
Thank you again for all your work on this. Also send my thanks to Norm's partner who has been providing space and power for us2 during this transitional time.
Can we drop the '.tar.gz' files in these cases? I think the .tar.bz2 and .zip formats should be plenty.
OK with me.
Also, we might also want to remove some metamath.exe stuff & point people to GitHub, e.g., removing: downloads/metamath.zip downloads/metamath.tar.gz downloads/metamath.tar.bz2
I suppose I could imagine a world in which github becomes less available or wants money for this. But it seems unlikely for the near to medium term, so I suppose we might as well if having them on the linode is causing any problems.
-- 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/c993b7b2-506b-b77d-39a0-3179066576bf%40panix.com.
