From a89e2e5e5b851ef475ace4591eaea1b356eb8d43 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Sat, 4 Jul 2020 23:44:47 +0800
Subject: [PATCH] zynq: fix ssh auth

---
 zynq.nix | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/zynq.nix b/zynq.nix
index e909321..21e5c09 100644
--- a/zynq.nix
+++ b/zynq.nix
@@ -34,13 +34,7 @@ in
 
       buildPhase =
         ''
-        export HOME=`mktemp -d`
-        mkdir $HOME/.ssh
-        cp /opt/hydra_id_rsa $HOME/.ssh/id_rsa
-        cp /opt/hydra_id_rsa.pub $HOME/.ssh/id_rsa.pub
-        chmod 600 $HOME/.ssh/id_rsa
-
-        bash ${<artiq-zynq>}/remote_run.sh -h rpi-4 -o "-F /dev/null -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -o LogLevel=ERROR" -d ${artiq-zynq.zc706-simple-jtag}
+        bash ${<artiq-zynq>}/remote_run.sh -h rpi-4 -o "-F /dev/null -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -o LogLevel=ERROR -i /opt/hydra_id_rsa" -d ${artiq-zynq.zc706-simple-jtag}
 
         touch $out
         '';