diff --git a/artiq-zynq.nix b/artiq-zynq.nix index 67d3311..20f7d2b 100644 --- a/artiq-zynq.nix +++ b/artiq-zynq.nix @@ -45,7 +45,7 @@ in export SZL=${szlEnv} pushd ${} export NIX_SSHOPTS="-F /dev/null -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -o LogLevel=ERROR -i /opt/hydra_id_rsa" - ssh rpi-4 "nix-store -r ${} --add-root openocd-pkgs --indirect && nix-env -e openocd && nix-env -iA openocd -f openocd-pkgs && rm openocd-pkgs" + ssh $NIX_SSHOPTS rpi-4 "nix-store -r ${} --add-root openocd-pkgs --indirect && nix-env -e openocd && nix-env -iA openocd -f openocd-pkgs && rm openocd-pkgs" bash ${}/remote_run.sh -h rpi-4 -o $NIX_SSHOPTS -d ${artiq-zynq.zc706-nist_qc2-jtag} popd