1
0
mirror of https://git.tartarus.org/simon/putty.git synced 2025-01-09 09:27:59 +00:00

Release-procedure stuff: remove outdated hostname 'atreus'.

The main tartarus.org host has changed since the last release, so we
now have to upload things to somewhere different. Updated the release
automation in release.pl, and all the mentions of atreus in the manual
checklist too.
This commit is contained in:
Simon Tatham 2017-02-21 18:36:29 +00:00
parent 359b5c8eb4
commit 0415af2ee7
2 changed files with 8 additions and 8 deletions

View File

@ -74,7 +74,7 @@ for it:
- Write a release announcement (basically a summary of the changes
since the last release). Squirrel it away in
atreus:src/putty-local/announce-<ver> in case it's needed again
thyestes:src/putty-local/announce-<ver> in case it's needed again
within days of the release going out.
- Update the website, in a local checkout:
@ -159,12 +159,12 @@ locally, this is the procedure for putting it up on the web.
git push origin --tags # should push the new release tag
git push origin :pre-X.YZ # delete the pre-release branch
- Run ~/adm/puttyweb.sh on atreus to update the website after all
- Run ~/adm/puttyweb.sh on thyestes to update the website after all
those git pushes.
- Check that the unpublished website on atreus looks sensible.
- Check that the unpublished website on thyestes looks sensible.
- Run webupdate, so that all the changes on atreus propagate to
- Run webupdate, so that all the changes on thyestes propagate to
chiark. Important to do this _before_ announcing that the release
is available.

View File

@ -72,12 +72,12 @@ if ($upload) {
-d "putty" or die "no putty directory in cwd";
0 == system("rsync", "-av", "maps/",
"atreus:src/putty-local/maps-$version")
"thyestes:src/putty-local/maps-$version")
or die "could not upload link maps";
for my $location (["atreus", "www/putty/$version"],
["the", "www/putty/$version"],
["chiark", "ftp/putty-$version"]) {
for my $location (["thyestes", "www/putty/$version"],
["the", "www/putty/$version"],
["chiark", "ftp/putty-$version"]) {
my ($host, $path) = @$location;
0 == system("rsync", "-av", "putty/", "$host:$path")
or die "could not upload release to $host";