diff options
Diffstat (limited to 'tasks/jenkins')
-rw-r--r-- | tasks/jenkins | 26 |
1 files changed, 0 insertions, 26 deletions
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 |