update rpi-1 host key

5 months ago · 5f7093fd7a
1 changed files with 1 additions and 1 deletions
--- a/artiq-fast.nix
+++ b/artiq-fast.nix
@ -75,7 +75,7 @@ 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-1 ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIFaIIQlc+fknFZSSLSfuMcfi6IhtMDNS15DJQSAb/O/h" > $HOME/.ssh/known_hosts
+      echo "rpi-1 ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIPOBQVcsvk6WgRj18v4m0zkFeKrcN9gA+r6sxQxNwFpv" > $HOME/.ssh/known_hosts
      chmod 600 $HOME/.ssh/id_rsa
      LOCKCTL=$(mktemp -d)
      mkfifo $LOCKCTL/lockctl