Fix username in rsync rune

[jarrg-ian.git] / build-sh

diff --git a/build-sh b/build-sh
index 0f565b5a95029965f69c4f6c141f1b932a1d2bd3..4a722559c0f3c97d5a51c70f8b5524424677b91e 100755 (executable)
--- a/build-sh
+++ b/build-sh
@@ -57,12 +57,17 @@ Generated OK:
 "
 ls -al $files
 
-pubbase="${JARRG_PUBLISH_BASE-login.chiark.greenend.org.uk}"
+pubbase="${JARRG_PUBLISH_BASE-ijackson@login.chiark.greenend.org.uk}"
 pubdir="${JARRG_PUBLISH_DIR-/home/yarrgweb/public-html/download/jarrg}"
 
 echo "
 Revision: $revision
 
-Install with:
- RSYNC_RSH=ssh rsync -vP $files $pubbase:$pubdir/test/
+Publish as test with:
+  RSYNC_RSH=ssh rsync -vP $files $pubbase:$pubdir/test/
+
+To actually publish a release, on $pubbase:
+  mkdir $revision
+  ln tests/* $revision/.
+  ln -f tests/* .
 "