From f8c462fd03abf4085bbd225e6df10ff40249aa21 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <kleen@cip.ifi.lmu.de>
Date: Wed, 13 Nov 2019 17:02:52 +0100
Subject: [PATCH] chore(gitlab-ci): manually handle ssh key

---
 .gitlab-ci.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c998f0c9e..d4bad27ef 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -216,7 +216,7 @@ yesod:test:
 deploy:uniworx4:
   stage: deploy
   script:
-    - ssh root@uniworx4.ifi.lmu.de <bin/uniworx
+    - ssh -i .ssh/id root@uniworx4.ifi.lmu.de <bin/uniworx
   needs:
     - yesod:build
     - yesod:test # For sanity
@@ -228,8 +228,6 @@ deploy:uniworx4:
     - chmod 700 ~/.ssh
     - install -m 0644 ${SSH_KNOWN_HOSTS} ~/.ssh/known_hosts
     - install -m 0400 ${SSH_PRIVATE_KEY_UNIWORX4} ~/.ssh/id
-    - eval $(ssh-agent -s)
-    - ssh-add ~/.ssh/id
   dependencies:
     - yesod:build