zynq: fix rpi4 host key problems (third attempt)

2020-07-04 17:41:02 +08:00 · 2020-07-04 17:41:02 +08:00 · f6e1164476
parent 2c26169353
commit f6e1164476
1 changed files with 4 additions and 1 deletions
--- 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}