Mirror after release

[glhenni@cs.sandia.gov (Gary L. Hennigan)]

I keep a mirror of the frozen distribution (rooted at
/debian/dists/frozen) of Debian and was wondering how the directory
structure will change on ftp.debian.org after the release tonight. Do
they just rename/relink frozen -> stable? I just want to know how to
adjust my mirror configuration file and the corresponding directories
so I don't have to download the whole distribution. What I'm thinking
I have to do is:

In my mirror configuration file just change

  remote_dir=/debian/dists/frozen
to
  remote_dir=/debian/dists/stable

and do
  mv <local root>/debian/dists/frozen  <local root>/debian/dists/stable

Is this right?

Thanks,
Gary


--  
Unsubscribe?  mail -s unsubscribe debian-user-request@lists.debian.org < /dev/null