Skip to content

Instantly share code, notes, and snippets.

@d00rman
Created June 22, 2016 19:46
Show Gist options
  • Save d00rman/bf733ecf27bf41fe01dfae010f5199c7 to your computer and use it in GitHub Desktop.
Save d00rman/bf733ecf27bf41fe01dfae010f5199c7 to your computer and use it in GitHub Desktop.
#!/bin/bash
declare PUPPET_PATH='<path_to_ops_puppet_repo_locally>';
declare JENKINS_TOKEN='<your_token_from_integration.wikimedia.org>';
declare JENKINS_USERNAME='<your-username>';
declare change_id="${1}";
declare hosts="${2}";
if [[ $# -ne 2 ]]; then
echo "Usage: ${0} <change-id> <hosts>" >&2;
exit 1;
fi
${PUPPET_PATH}/utils/pcc --api-token ${JENKINS_TOKEN} --username ${JENKINS_USERNAME} "${change_id}" "${hosts}";
exit $?;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment