Merge pull request 'ci: debug Host key verification failed error' (#201) from momo/ci-deployment-known-hosts into momo/main

Reviewed-on: #201

.drone.yml

@@ -29,7 +29,7 @@ steps:
         from_secret: ci_private_ssh_key
       SSH_HOST_KEY: "80.244.242.4 ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIE7XTCHfX6ta8EtkdOcZLnpdhMmXDfTebVMs4NC8JEPj"
       # SSH uses HOME from /etc/passwd, not from the environment, so override it
-      NIX_SSHOPTS: "-o UserKnownHostsFile=$$HOME/.ssh/known_hosts -i $$HOME/.ssh/id_ed25519 -v"
+      SSHOPTS: "-o UserKnownHostsFile=$$HOME/.ssh/known_hosts -i $$HOME/.ssh/id_ed25519 -v"
     commands:
       - mkdir $$HOME/.ssh && chmod 700 $$HOME/.ssh
       - echo "$$PRIVATE_SSH_KEY" > $$HOME/.ssh/id_ed25519 && chmod 600 $$HOME/.ssh/id_ed25519
@@ -39,7 +39,7 @@ steps:
       - echo DEBUG ls -alh $$HOME/.ssh
       - ls -alh $$HOME/.ssh
       - "echo DEBUG: Using NIX_FLAGS: $$NIX_FLAGS"
-      - nix $$NIX_FLAGS develop --command deploy --magic-rollback false --skip-checks --targets '.#host_001_momo_koeln'
+      - nix $$NIX_FLAGS develop --command deploy --magic-rollback false --skip-checks --targets '.#host_001_momo_koeln' --ssh-opts="$$SSHOPTS"
 
 ---
 kind: pipeline
@@ -165,6 +165,6 @@ volumes:
 
 ---
 kind: signature
-hmac: 4768c1415a4fafaa3819532bda1ffe59f9bcf4e79dfe24aafbc92c3a68093d74
+hmac: 42b34b2493c918bc79eeb8bbb8eaa5480539a07cb0bd0f98b3affdefb3eed00b
 
 ...