Review at  https://gerrit.osmocom.org/7725

jenkins.sh: add hostkey for osmocom.org:48

Otherwise it will depend on a setting this up in a seperate step.
This way it's more decoupled from the build host.

Change-Id: Iea1f5810bc7d4370724fdd7eb875c9a27b3d82af
---
M contrib/jenkins.sh
1 file changed, 8 insertions(+), 1 deletion(-)


  git pull ssh://gerrit.osmocom.org:29418/osmo-gsm-manuals 
refs/changes/25/7725/1

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 59fcfd7..5cd1c1f 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -22,7 +22,14 @@
 if [ "x$publish" = "x--publish" ]; then
   mkdir out/
   cp */*.pdf out/
-  rsync -avz --delete -e "ssh -p 48" ./out/ d...@osmocom.org:web-files/latest/
+
+  cat > "$WORKSPACE/known_hosts" <<EOF
+[osmocom.org]:48 ssh-rsa 
AAAAB3NzaC1yc2EAAAADAQABAAABAQDDgQ9HntlpWNmh953a2Gc8NysKE4orOatVT1wQkyzhARnfYUerRuwyNr1GqMyBKdSI9amYVBXJIOUFcpV81niA7zQRUs66bpIMkE9/rHxBd81SkorEPOIS84W4vm3SZtuNqa+fADcqe88Hcb0ZdTzjKILuwi19gzrQyME2knHY71EOETe9Yow5RD2hTIpB5ecNxI0LUKDq+Ii8HfBvndPBIr0BWYDugckQ3Bocf+yn/tn2/GZieFEyFpBGF/MnLbAAfUKIdeyFRX7ufaiWWz5yKAfEhtziqdAGZaXNaLG6gkpy3EixOAy6ZXuTAk3b3Y0FUmDjhOHllbPmTOcKMry9
+[osmocom.org]:48 ecdsa-sha2-nistp256 
AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBPdWn1kEousXuKsZ+qJEZTt/NSeASxCrUfNDW3LWtH+d8Ust7ZuKp/vuyG+5pe5pwpPOgFu7TjN+0lVjYJVXH54=
+[osmocom.org]:48 ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIK8iivY70EiR5NiGChV39gRLjNpC8lvu1ZdHtdMw2zuX
+EOF
+  SSH_COMMAND="ssh -o 'UserKnownHostsFile=$WORKSPACE/known_hosts' -p 48"
+  rsync -avz --delete -e "$SSH_COMMAND" ./out/ 
d...@osmocom.org:web-files/latest/
 fi
 
 osmo-clean-workspace.sh

-- 
To view, visit https://gerrit.osmocom.org/7725
To unsubscribe, visit https://gerrit.osmocom.org/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Iea1f5810bc7d4370724fdd7eb875c9a27b3d82af
Gerrit-PatchSet: 1
Gerrit-Project: osmo-gsm-manuals
Gerrit-Branch: master
Gerrit-Owner: lynxis lazus <lyn...@fe80.eu>

Reply via email to