[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):

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,
comedy.dante.de is


More information about the tex-live mailing list