.github/workflows/darwin.yml: various

- drop user, already set in tasks.py

- share ssh known_hosts

.github/workflows/darwin.yml

@@ -36,16 +36,12 @@ jobs:
           $SSH_KEY
           EOF
           chmod 600 "$HOME/.ssh/id_ed25519"
-          cat >>"$HOME/.ssh/known_hosts" <<EOF
-          darwin01.nix-community.org ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIDDnaVD9TZDJKSpiJQg0qYs0WUHFq3Ur5ijm/kHOY91N
-          darwin02.nix-community.org ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAICJqwpMUEl1/iwrBakeDb1rlheXlE5mfDLICVz8w6yi6
-          darwin03.nix-community.org ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIKX7W1ztzAtVXT+NBMITU+JLXcIE5HTEOd7Q3fQNu80S
-          EOF
+          known_hosts="$(nix eval .#nixosConfigurations.build01.config.environment.etc.'ssh/ssh_known_hosts'.text)"
+          echo -e "$known_hosts" >>"$HOME/.ssh/known_hosts"
           cat >>"$HOME/.ssh/config" <<EOF
           Host *
             IdentityFile ~/.ssh/id_ed25519
             IdentitiesOnly yes
-            User hetzner
           EOF
       - name: Deploy
         run: |