[tex-live] p4 server move tomorrow -> texlive.dante.de
Karl Berry
karl at freefriends.org
Tue Jul 5 15:15:54 CEST 2005
Hi everyone -- Rainer needs to move the p4 repository from the old Sun
on which it's lived for many years to a new server. The plan is to do
this sometime tomorrow (July 6), probably morning/early afternoon German
time. (Rainer, please send us mail when you actually start the move.)
Rainer's gone through the procedure as a test, and the server should not
be down for long, perhaps an hour or so.
If your P4PORT variable refers to sun.dante.de, you should change it to
refer to texlive.dante.de (you can do this now, in advance):
P4PORT=texlive.dante.de:1666
On the other hand, due to the vagaries of DNS, I suppose this might
resolve to the wrong place for a little while after the move, so here
are the settings with the physical server names, just in case:
old --> P4PORT=sun.dante.de:1666
new --> P4PORT=comedy.dante.de:1666
sun.dante.de has IP address 134.100.9.52,
comedy.dante.de is 80.237.210.73.
Best,
Karl
More information about the tex-live
mailing list