From f6e1164476a84875f9423f431b6b8663cb482edf Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Sat, 4 Jul 2020 17:41:02 +0800
Subject: [PATCH] zynq: fix rpi4 host key problems (third attempt)

---
 zynq.nix | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/zynq.nix b/zynq.nix
index 32b79ee..1b06df0 100644
--- a/zynq.nix
+++ b/zynq.nix
@@ -38,7 +38,10 @@ in
         mkdir $HOME/.ssh
         cp /opt/hydra_id_rsa $HOME/.ssh/id_rsa
         cp /opt/hydra_id_rsa.pub $HOME/.ssh/id_rsa.pub
-        echo "rpi-4.m-labs.hk ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIJu+HhQmQAclub9K/B3xUQ28lBg+MEdqSeBuQNZgPGKB" > $HOME/.ssh/known_hosts
+        cat > $HOME/.ssh/config << EOF
+        Host *
+          StrictHostKeyChecking no
+        EOF
         chmod 600 $HOME/.ssh/id_rsa
 
         bash ${<artiq-zynq>}/remote_run.sh -d ${artiq-zynq.zc706-simple-jtag}