diff --git a/branch b/branch new file mode 100755 index 0000000..0eb9be4 --- /dev/null +++ b/branch @@ -0,0 +1,5 @@ +git clone \ +--branch "${GITHUB_REF_NAME}" \ +-- \ +"${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}" \ +'.' diff --git a/env b/env new file mode 100755 index 0000000..dd3fd37 --- /dev/null +++ b/env @@ -0,0 +1 @@ +env | sort diff --git a/sync b/sync new file mode 100755 index 0000000..d06aaa5 --- /dev/null +++ b/sync @@ -0,0 +1,16 @@ +apt-get install 'rsync' + +mkdir --parents ~/.ssh +echo '${{secrets.cd}}' > ~/.ssh/id_ed25519 +chmod 400 ~/.ssh/id_ed25519 + +ssh \ +-o StrictHostKeyChecking=accept-new \ +'cd@de.tilde.link' -- hostname + +rsync \ +--archive \ +--delete-before \ +--verbose \ +'out/' \ +"cd@de.tilde.link:/cd/${GITHUB_REF_NAME}/${GITHUB_REPOSITORY}/" diff --git a/workspace b/workspace new file mode 100755 index 0000000..817b2b8 --- /dev/null +++ b/workspace @@ -0,0 +1,2 @@ +apt-get install 'tree' +tree -a "${GITHUB_WORKSPACE}"