dhensen
/ Jenkinsfile
Created
January 10, 2018 07:02
— forked from jonico/Jenkinsfile
Example for a full blown Jenkins pipeline script with multiple stages, input steps, injected credentials, heroku deploy, sonarqube and artifactory integration, multiple Git commit statuses, PR merge vs branch build detection, REST API calls to GitHub deployment API, stage timeouts, stage concurrency constraints, ...
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!groovy | |
| import groovy.json.JsonOutput | |
| import groovy.json.JsonSlurper | |
| /* | |
| Please make sure to add the following environment variables: | |
| HEROKU_PREVIEW=<your heroku preview app> | |
| HEROKU_PREPRODUCTION=<your heroku pre-production app> | |
| HEROKU_PRODUCTION=<your heroku production app> |
dhensen
/ collegerama.sh
Last active
June 2, 2016 12:50
— forked from mnstrspeed/collegerama.sh
Download video lectures from TU Delft Collegerama (december 2015). Requires `wget`, `curl`, and `jq` (available in Ubuntu/Debian repositories).
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash | |
| # resource ID of the video, can be obtained from the video URL: | |
| # https://collegerama.tudelft.nl/Mediasite/Play/485dbc9fac81446bae6b2ba2fe0571ac1d?catalog=cf028e9a-2a24-4e1f-bdb5-2ace3f9cd42d | |
| # ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| id=$1 | |
| folder=$2 | |
| if [ -f $2 ]; then | |
| echo "folder $2 already exists, skipping" |