diff options
author | Jonas Gunz <himself@jonasgunz.de> | 2020-07-27 20:47:52 +0200 |
---|---|---|
committer | Jonas Gunz <himself@jonasgunz.de> | 2020-07-27 20:47:52 +0200 |
commit | 0c79996398479f184b890c30e998e6cc4cce1f65 (patch) | |
tree | 09c5df91d57314eb54eaccff8fc319a55e87beaa /tasks/jenkins | |
parent | ce2f74f9da8a2289bdec2b52b36ea220602f7ccf (diff) | |
download | ltask-0c79996398479f184b890c30e998e6cc4cce1f65.tar.gz |
moved tasks to seperate repo, support for external workdir
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 |