From 0c79996398479f184b890c30e998e6cc4cce1f65 Mon Sep 17 00:00:00 2001 From: Jonas Gunz Date: Mon, 27 Jul 2020 20:47:52 +0200 Subject: moved tasks to seperate repo, support for external workdir --- tasks/jenkins | 26 -------------------------- 1 file changed, 26 deletions(-) delete mode 100644 tasks/jenkins (limited to 'tasks/jenkins') diff --git a/tasks/jenkins b/tasks/jenkins deleted file mode 100644 index d763377..0000000 --- a/tasks/jenkins +++ /dev/null @@ -1,26 +0,0 @@ -#!/bin/bash - -function task_exec() { - - cat id_jenkins.pub >> /home/server/.ssh/authorized_keys - -} - -function task_setup() { - # Available environment variables - # $ASSET_DIR - # $TOOL_DIR - - SSH_USER=server - SSH_IDENTITY_FILE=$ASSET_DIR/id_jenkins - - FILES+=("$ASSET_DIR/id_jenkins.pub") - - TASK_ISSET="yes" -} - -if [ -z $HOSTMODE ]; then - task_exec -else - task_setup -fi -- cgit v1.2.3