Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Our esteemed hosts are going to upgrade the server that the nLab resides on. They’d like to do this in the next two weeks and have asked when would be least disruptive for us.
Is there any particular time/day to avoid?
Thanks. I’ll be needing the Lab for online notes for a workshop until this Thursday. Any time after that would be fine with me.
Just out of curiosity: the Lab is hosted by a general hosting service, and they are specifically asking when it would be convenient for us? Don’t they have plenty of (other) customers that will be affected?
Not for me.
Just out of curiosity: the nLab is hosted by a general hosting service, and they are specifically asking when it would be convenient for us? Don’t they have plenty of (other) customers that will be affected?
The migrations are happening on a case-by-case basis. They want to migrate all of them by a certain date, but there’s no particular necessity to do them in one big batch job.
That’s nice to ask! I have no preference.
This is going to happen this morning at 5:30am EST.
The migration is now done, I’m reliably informed. It may take a short while for the IP address change to propagate out to the internet so if the nLab seems down, try first doing (for Unix) host ncatlab.org
. The answer should be 75.98.32.131. If it isn’t, your machine hasn’t noticed the change yet so you’ll need to wait until it does (in my experience, this can vary a bit but I’ve never known it take longer than a day).
I can see the new IP address, if that helps.
I cannot yet!
The host
command gives me
;; connection timed out; no servers could be reached
but I can reach the lab itself just fine!
For me just now, it still gives
nlab.org has address 82.98.86.162
Tim, it should be ncatlab.org
, not nlab.org
. We don’t own nlab.org
, sadly.
I now get
ncatlab.org has address 75.98.32.131
as desired.
Thanks for correcting my mistake. I get the new address as well.
1 to 14 of 14