From 9bbf7eb48539082ee57e3f9b6faef7b0246a042b Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Fri, 3 Dec 2021 18:34:49 +0800
Subject: [PATCH] flake: use ed25519 key for hitl

---
 flake.nix | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.nix b/flake.nix
index 75ef864af..5fa94518d 100644
--- a/flake.nix
+++ b/flake.nix
@@ -408,15 +408,15 @@
             whoami
             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
+            cp /opt/hydra_id_ed25519 $HOME/.ssh/id_ed25519
+            cp /opt/hydra_id_ed25519.pub $HOME/.ssh/id_ed25519.pub
             echo "rpi-1 ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIPOBQVcsvk6WgRj18v4m0zkFeKrcN9gA+r6sxQxNwFpv" > $HOME/.ssh/known_hosts
-            chmod 600 $HOME/.ssh/id_rsa
+            chmod 600 $HOME/.ssh/id_ed25519
             LOCKCTL=$(mktemp -d)
             mkfifo $LOCKCTL/lockctl
 
             cat $LOCKCTL/lockctl | ${pkgs.openssh}/bin/ssh \
-              -i $HOME/.ssh/id_rsa \
+              -i $HOME/.ssh/id_ed25519 \
               -o UserKnownHostsFile=$HOME/.ssh/known_hosts \
               rpi-1 \
               'mkdir -p /tmp/board_lock && flock /tmp/board_lock/kc705-1 -c "echo Ok; cat"' \