diff --git a/zynq.nix b/zynq.nix index 76bc3f8..a5999e8 100644 --- a/zynq.nix +++ b/zynq.nix @@ -41,7 +41,7 @@ in echo "rpi-4 ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIJu+HhQmQAclub9K/B3xUQ28lBg+MEdqSeBuQNZgPGKB" > $HOME/.ssh/known_hosts chmod 600 $HOME/.ssh/id_rsa - ${}/remote_run.sh -d ${artiq-zynq.zc706-simple-jtag} + bash ${}/remote_run.sh -d ${artiq-zynq.zc706-simple-jtag} touch $out '';