From a5471a4ac3c25a2cb9181ddb7dcaf3c651169f97 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Thu, 18 May 2017 10:03:54 +0200
Subject: conf/default.conf: set up ssh key, too

---
 conf/default.conf | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/conf/default.conf b/conf/default.conf
index 6db259d..94ef1db 100755
--- a/conf/default.conf
+++ b/conf/default.conf
@@ -58,3 +58,9 @@ for repo in "${!repo_paths[@]}"; do
   fi
 
 done
+
+if [ "${master_build_server_identity}" == "${work_dir}/.ssh/id_rsa" ] && \
+  [ ! -f "${master_build_server_identity}" ]; then
+  mkdir -p "${master_build_server_identity%/*}"
+  ssh-keygen -b4096 -f "${master_build_server_identity}"
+fi
-- 
cgit v1.2.3-70-g09d2