diff options
| author | Erich Eckner <git@eckner.net> | 2017-05-18 10:03:54 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-05-18 10:03:54 +0200 |
| commit | a5471a4ac3c25a2cb9181ddb7dcaf3c651169f97 (patch) | |
| tree | c3f8b1a683c568884034e6aabb8fe2ed49a79e88 | |
| parent | ce71dbb525ac523e8e367295557c3d3346388fc4 (diff) | |
| download | builder-a5471a4ac3c25a2cb9181ddb7dcaf3c651169f97.tar.xz | |
conf/default.conf: set up ssh key, too
| -rwxr-xr-x | conf/default.conf | 6 |
1 files changed, 6 insertions, 0 deletions
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 |