Hashar has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/403924 )
Change subject: Update ci-src-setup-simple example
......................................................................
Update ci-src-setup-simple example
Change-Id: I52f852cecfb2197c05522dca7b5f4cf8e112a8d8
---
M dockerfiles/ci-src-setup-simple/example-run.sh
1 file changed, 4 insertions(+), 2 deletions(-)
Approvals:
jenkins-bot: Verified
diff --git a/dockerfiles/ci-src-setup-simple/example-run.sh
b/dockerfiles/ci-src-setup-simple/example-run.sh
index 14aae7f..a657b9c 100644
--- a/dockerfiles/ci-src-setup-simple/example-run.sh
+++ b/dockerfiles/ci-src-setup-simple/example-run.sh
@@ -1,5 +1,7 @@
#!/bin/bash
+set -euo pipefail
+
install --mode 777 --directory log
docker run \
--rm --tty \
@@ -7,5 +9,5 @@
--env ZUUL_PROJECT=integration/jenkins \
--env ZUUL_COMMIT=7a4ee7963a15dbdc5d5afb363600d63574bb31a0 \
--env ZUUL_REF=refs/changes/31/316231/4 \
- --volume /$(pwd)/log://var/lib/jenkins/log \
- wmfreleng/ci-src-setup-simple:latest
+ --volume "/$(pwd)/log"://var/lib/jenkins/log \
+ docker-registry.wikimedia.org/releng/ci-src-setup-simple:latest
--
To view, visit https://gerrit.wikimedia.org/r/403924
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I52f852cecfb2197c05522dca7b5f4cf8e112a8d8
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: Paladox <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
