On Wed, Feb 11, 2004 at 11:02:19PM +0100, Robin Farine wrote:
If you you really want to rename your archive and are aware
of the consequences, then you could make a backup of it and
then run the attached script on it. The usage message should
suffice to tell you how to do that.
There's also a script in tla-tools that will do `deep' archive renaming,
called `tla-munge-archive-names'; it will let you rename branches &c too.
Like Robin's script, --help will tell you how to use it.
It _doesn't_ support signed archives though, so if your archive is signed,
you'll have to first make an unsigned mirror and munge that.
[In general I think it's not possible to retain signatures after archive
munging, you'll have to resign everything.]